PP-2023-05: Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo (2023) The intermediate logic of convex polyhedra. [Pre-print]
MoL-2019-08: Adam-Day, Sam (2019) Polyhedral Completeness in Intermediate and Modal Logics. [Report]
PP-2020-22: Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo (2020) The nerve criterion and polyhedral completeness of intermediate logics. [Pre-print]
MoL-2021-10: Ade, Leyla (2021) Iterative Goal-Based Voting. [Report]
PP-2023-03: Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E. and Marti, Johannes and Venema, Yde (2023) Proof Systems for Two-way Modal mu-Calculus. [Pre-print] (Submitted)
DS-2024-09: Allerstorfer, Rene (2024) Position-based Quantum Cryptography: From Theory towards Practice. Doctoral thesis, Universiteit van Amsterdam.
MoL-2022-19: Almeida, Rodrigo Nicolau (2022) Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB. [Report]
MoL-2024-10: Alvarez, David Quinn (2024) The temporal Heyting calculus. [Report]
PP-2022-06: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2022) The Topology of Surprise. [Pre-print]
PP-2021-07: Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David (2021) The topological mu-calculus: completeness and decidability. [Pre-print]
PP-2017-15: Baltag, Alexandru and Boddy, Rachel and Smets, Sonja (2017) Group Knowledge in Interrogative Epistemology. [Pre-print]
PP-2020-06: Baltag, Alexandru and van Benthem, Johan (2020) A Simple Logic of Functional Dependence. [Pre-print] (Submitted)
PP-2019-02: Baltag, Alexandru and van Benthem, Johan (2019) Some Thoughts on the Logic of Imprecise Observation. [Pre-print]
PP-2020-19: Baltag, Alexandru and van Benthem, Johan and Westerstähl, Dag (2020) Compositionality in Context. [Pre-print] (In Press)
HDS-37: Barendregt, Henk (2023) Some extensional term models for combinatory logics and Lambda-Calculi. Doctoral thesis, Rijksuniversiteit Utrecht.
MoL-2024-08: Becker, Justus (2024) Proof Translations for Intuitionistic Modal Logic. [Report]
MoL-2020-04: Benjamins, Thijs (2020) Locally finite varieties of Heyting algebras of width 2. [Pre-print]
PP-2023-04: Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso (2023) Degrees of the finite model property: The antidichotomy theorem. [Pre-print]
PP-2022-07: Bezhanishvili, Nick and Cleani, Antonio M. (2022) Translational embeddings via stable canonical rules. [Pre-print]
PP-2022-04: Bezhanishvili, Nick and Martins, Miguel and Moraschini, Tommaso (2022) Bi-intermediate logics of trees and co-trees. [Pre-print]
PP-2020-12: Bezhanishvili, Guram and Bezhanishvili, Nick (2020) Jankov formulas and axiomatization techniques for intermediate logics. [Pre-print]
PP-2020-04: Bezhanishvili, Guram and Bezhanishvili, Nick and Carai, Luca and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka (2020) Diego's theorem for nuclear implicative semilattices. [Pre-print]
PP-2020-02: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2020) Characterizing existence of a measurable cardinal via modal logic. [Pre-print]
PP-2020-05: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2020) The McKinsey-Tarski theorem for locally compact ordered spaces. [Pre-print]
PP-2017-14: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2017) On modal logics arising from scattered locally compact Hausdorff spaces. [Pre-print]
PP-2017-13: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2017) A new proof of the McKinsey-Tarski Theorem. [Pre-print]
PP-2021-05: Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso and Stronkowski, Michal (2021) Profiniteness and representability of spectra of Heyting algebras. [Pre-print]
PP-2017-06: Bezhanishvili, Guram and Bezhanishvili, Nick and Santoli, Thomas and Venema, Yde (2017) A simple propositional calculus for compact Hausdorff spaces. [Pre-print]
PP-2021-06: Bezhanishvili, Guram and Bezhanishvili, Nick and de Groot, Jim (2021) A coalgebraic approach to dualities for neighbourhood frames. [Pre-print]
PP-2017-19: Bezhanishvili, Guram and Harding, John and Ilin, Julia and Lauridsen, Frederik Möllerström (2017) MacNeille transferability and stable classes of Heyting algebras. [Pre-print] (Submitted)
PP-2020-08: Bezhanishvili, Nick and Enqvist, Sebastian and de Groot, Jim (2020) Duality for instantial neighbourhood logic via coalgebra. [Pre-print]
PP-2020-10: Bezhanishvili, Nick and Grilletti, Gianluca and Quadrellaro, Davide Emilio (2020) An Algebraic Approach to Inquisitive and DNA-Logics. [Pre-print] (Submitted)
PP-2020-11: Bezhanishvili, Nick and Henke, Tim (2020) A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem. [Pre-print]
PP-2018-13: Bezhanishvili, Nick and Holliday, Wesley H. (2018) Choice-free Stone duality. [Pre-print]
PP-2020-03: Bezhanishvili, Nick and Moraschini, Tommaso (2020) Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality. [Pre-print]
PP-2019-09: Bezhanishvili, Nick and de Groot, Jim and Venema, Yde (2019) Coalgebraic geometric logic. [Pre-print]
PP-2020-16: Botan, Sirin and Endriss, Ulle (2020) Majority-Strategyproofness in Judgment Aggregation. [Pre-print]
PP-2020-01: Carl, Merlin and Galeotti, Lorenzo (2020) Resetting Infinite Time Blum-Shub-Smale-Machines. [Pre-print] (Submitted)
PP-2018-14: Carl, Merlin and Galeotti, Lorenzo and Löwe, Benedikt (2018) The Bolzano-Weierstrass Theorem in Generalised Analysis. [Pre-print]
PP-2021-01: Carl, Merlin and Galeotti, Lorenzo and Passmann, Robert (2021) Randomising Realisability. [Pre-print] (Submitted)
MoL-2022-02: Carr, James (2022) Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited. [Report]
DS-2024-12: Chen, Yanlin (2024) On Quantum Algorithms and Limitations for Convex Optimization and Lattice Problems. Doctoral thesis, Universiteit van Amsterdam.
PP-2018-17: Chen, Weiwei and Endriss, Ulle (2018) Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules. [Pre-print]
PP-2019-16: Chen, Weiwei and Endriss, Ulle (2019) Preservation of Semantic Properties in Collective Argumentation: The Case of Aggregating Abstract Argumentation Frameworks. [Pre-print]
MoL-2022-17: Chernev, Anton (2022) Degrees of FMP in extensions of bi-intuitionistic logic. [Report]
MoL-2024-09: Chung, Liam (2024) Automata Closure Constructions for Kleene Algebra with Hypotheses. [Report]
MoL-2021-22: Cleani, Antonio Maria (2021) Translational Embeddings via Stable Canonical Rules. [Report]
MoL-2023-14: Comer, Jesse A. (2023) Homomorphism Counts, Database Queries, and Modal Logics. [Report]
MoL-2017-19: Cornelissen, Bas (2017) Bayesian Language Games: Unifying and evaluating agent-based models of horizontal and vertical language evolution. [Report]
MoL-2022-10: Cruchten, Mike (2022) Topics in Ω-Automata: A Journey through Lassos, Algebra, Coalgebra and Expressions. [Report]
MoL-2023-37: Dekker, P. Maurice (2023) Polyhedral semantics of modal logic. [Report]
MoL-2021-18: Dmitrieva, Anna (2021) Positive modal logic beyond distributivity: duality, preservation and completeness. [Report]
MoL-2021-07: de Graaf, David Joël (2021) "A partition calculus in set theory" by Erdös and Rado for readers from the twenty-first century. [Report]
PP-2018-10: de Jongh, Dick and Vargas, Ana Lucia (2018) Finite identification with positive and with complete data. [Pre-print]
MoL-2017-27: de Vries, Mees (2017) An Extensional Modified Realizability Topos. [Report]
PP-2019-29: Endriss, Ulle (2019) Collective Information. [Pre-print] (In Press)
PP-2018-16: Endriss, Ulle (2018) Judgment Aggregation with Rationality and Feasibility Constraints. [Pre-print]
PP-2017-20: Endriss, Ulle (2017) Trends in Computational Social Choice. [Pre-print]
PP-2017-05: Enqvist, Sebastian and Venema, Yde (2017) Disjunctive bases: normal forms for modal logics. [Pre-print] (Submitted)
MoL-2018-27: Fernández González, Saúl (2018) Generic Models for Topological Evidence Logics. [Report]
MoL-2019-23: Ford, Chase (2019) Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees. [Report]
MoL-2021-05: Fornasiere, Damiano (2021) Representable Forests and Diamond Systems. [Report]
PP-2023-02: Galeotti, Lorenzo and Lewis, Ethan S. and Loewe, Benedikt (2023) Symmetry for transfinite computability. [Pre-print] (Submitted)
PP-2019-10: Galeotti, Lorenzo (2019) Surreal Blum-Shub-Smale Machines. [Pre-print] (In Press)
PP-2020-13: Galeotti, Lorenzo and Khomskii, Yurii and Väänänen, Jouko (2020) Bounded Symbiosis and Upwards Reflection. [Pre-print] (Submitted)
PP-2017-10: Galeotti, Lorenzo and Löwe, Benedikt (2017) Order types of models of reducts of Peano Arithmetic and their fragments. [Pre-print] (Unpublished)
PP-2017-08: Galeotti, Lorenzo and Nobrega, Hugo (2017) Towards computable analysis on the generalised real line. [Pre-print] (In Press)
MoL-2024-14: Ganguly, Arunavo (2024) Characterizing Formulas using Post’s Lattice. [Report]
MoL-2024-07: Ghosh, Swapnil (2024) An Exploration of Contraction Free Arithmetic. [Report]
MoL-2021-20: Gougeon, Quentin (2021) The Expressive Power of Derivational Modal Logic. [Report]
MoL-2017-04: Griffioen, Simone (2017) Covertly Controlling Choices: Manipulating Decision Making Under Partial Knowledge. [Report]
MoL-2022-22: Grotenhuis, Lide (2022) Natural Axiomatic Theories and Consistency Strength: A Lakatosian Approach to the Linearity Conjecture. [Report]
MoL-2018-36: Gu, Tao (2018) Majorizability Types, Assemblies, and the Fan Theorem. [Report]
MoL-2018-08: Heerkens, Noor (2018) Studies in Minimal Mathematics. [Report]
MoL-2023-25: Hegeman, Steef (2023) Priority arguments in transfinite computability theory. [Report]
MoL-2019-12: Henke, Tim (2019) The van Benthem Characterisation Theorem for Descriptive Models. [Report]
MoL-2017-07: Hornischer, Levin (2017) Hyperintensionality and Synonymy. [Report]
PP-2022-08: Khomskii, Yurii and Oddsson, Hrafn Valtýr (2022) Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory. [Pre-print] (Submitted)
HDS-33: Klop, Jan Willem (2022) Combinatory Reduction Systems. Doctoral thesis, Rijksuniversiteit Utrecht.
MoL-2022-24: Knudstorp, Søren Brinck (2022) Modal Information Logics. [Report]
MoL-2023-35: Kopnev, Kirill (2023) Dynamic logics of polyhedra and their application in 3D modeling. [Report]
MoL-2022-07: Koudijs, Raoul (2022) Learning Modal Formulas via Dualities. [Report]
MoL-2019-26: Koutsoulis, Dimitrios (2019) Lifschitz Realizability for Homotopy Type Theory. [Report]
PP-2018-05: Lauridsen, Frederik Möllerström (2018) Intermediate logics admitting a structural hypersequent calculus. [Pre-print] (In Press)
MoL-2023-28: Lemal, Simon (2023) Hereditary structural completeness of weakly transitive modal logics. [Report]
MoL-2023-07: Liao, Cheng (2023) Stable Canonical Rules for Intuitionistic Modal Logics. [Report]
MoL-2020-09: Lobski, Leo (2020) Quantum quirks, classical contexts: Towards a Bohrification of effect algebras. [Report]
MoL-2022-01: Loustalot Knapp, Daniela (2022) Justification of Matching Outcomes. [Report]
PP-2018-15: Löwe, Benedikt and Passmann, Robert and Tarafder, Sourav (2018) Constructing illoyal algebra-valued models of set theory. [Pre-print] (Submitted)
PP-2018-07: Löwe, Benedikt and Van Kerkhove, Bart (2018) Methodological triangulation in empirical philosophy (of mathematics). [Pre-print] (In Press)
MoL-2019-04: Maia, Nuno (2019) Tennenbaum’s Theorem and Non-Classical Arithmetic. [Report]
MoL-2016-23: Massas, Guillaume (2016) Possibility Spaces, Q-Completions and Rasiowa-Sikorski Lemmas for Non-Classical Logics. [Report]
MoL-2018-31: Mierzewski, Krzysztof (2018) Probabilistic Stability: dynamics, nonmonotonic logics, and stable revision. [Report]
MoL-2018-32: Milanese, Gian Carlo (2018) An exploration of closure ordinals in the modal μ-calculus. [Pre-print]
MoL-2023-12: Mora, Raúl Ruiz (2023) Team Semantics for Modal mu-Calculus. [Report]
MoL-2024-03: Nelissen, Pelle (2024) Consistent Judgment Aggregation in Liquid Democracy: Utilizing Delegation Structure in the Ranked Agenda Rule. [Report]
PP-2024-02: Nieto-de la Rosa, Francisco Santiago and Ramos-Garcia, Ulises Ariet and Vargas-Sandoval, Ana Lucia and de Jongh, Dick (2024) Extending antichains in the poset of the finite subsets of omega. [Pre-print] (Submitted)
MoL-2021-27: Oddsson, Hrafn Valtýr (2021) Paradefinite Zermelo-Fraenkel Set Theory: A Theory of Inconsistent and Incomplete Sets. [Report]
MoL-2021-24: Osinski, Jonathan (2021) Symbiosis and Compactness Properties. [Pre-print]
MoL-2022-21: Osso, Gian Marco (2022) Some results on the Generalized Weihrauch Hierarchy. [Report]
MoL-2019-15: O’Connell, David (2019) Lorentzian Structures on Branching Spacetimes. [Report]
PP-2019-05: Passmann, Robert (2019) The de Jongh property for bounded constructive Zermelo-Fraenkel set theory. [Pre-print] (Submitted)
MoL-2018-03: Paßmann, Robert (2018) Loyalty and Faithfulness of Model Constructions for Constructive Set Theory. [Report]
MoL-2022-03: Peng, Zichen (2022) Simultaneous Substitution Algebras. [Pre-print]
MoL-2017-17: Piribauer, Jakob (2017) The Modal Logic of Generic Multiverses. [Report]
MoL-2019-25: Quadrellaro, Davide Emilio (2019) Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic. [Report]
MoL-2024-11: Renata, Alyssa (2024) Homotopy Theory of Computable Spaces. [Report]
MoL-2023-22: Ripoll Echeveste, Xavier (2023) Alternative Impredicative Encodings of Inductive Types. [Report]
DS-2024-01: Rooduijn, Jan (2024) Fragments and Frame Classes: Towards a Uniform Proof Theory for Modal Fixed Point Logics. Doctoral thesis, Universiteit van Amsterdam.
MoL-2018-34: Rooduijn, Jan (2018) A right semimodel structure on semisimplicial sets. [Pre-print]
MoL-2022-26: Samwel, Rover Junior (2022) Explorations in Coalgebraic Predicate Logic (With a Focus on Interpolation). [Report]
MoL-2019-09: Santamaría Legarda, David (2019) Defending Classes. [Report]
MoL-2022-08: Schmidtlein, Marie Christin (2022) Voting by Axioms. [Report]
MoL-2021-15: Schoen, Ezra (2021) Relation Lifting and Coalgebraic Logic. [Report]
DS-2024-05: Seifan, Fatemeh (2024) Coalgebraic fixpoint logic Expressivity and completeness result. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-15: Seip, Paul (2024) A Constructive Small Object Argument. [Report]
PP-2019-06: Shavrukov, V. Yu. (2019) R.e. prime powers and total rigidity. [Pre-print]
MoL-2023-17: Sierra Miranda, Borja (2023) On the Provability Logic of Constructive Arithmetic: The Σ_1-provability logics of fragments of Heyting Arithmetic. [Report]
PP-2020-20: Terzopoulou, Zoi (2020) Quota Rules for Incomplete Judgments. [Pre-print] (In Press)
PP-2019-19: Terzopoulou, Zoi and Endriss, Ulle (2019) Aggregating Incomplete Pairwise Preferences by Weight. [Pre-print]
PP-2018-04: Terzopoulou, Zoi and Endriss, Ulle (2018) Modelling Iterative Judgment Aggregation. [Pre-print]
PP-2019-28: Terzopoulou, Zoi and Endriss, Ulle (2019) Neutrality and Relative Acceptability in Judgment Aggregation. [Pre-print] (In Press)
PP-2019-20: Terzopoulou, Zoi and Endriss, Ulle (2019) Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments. [Pre-print]
PP-2019-17: Terzopoulou, Zoi and Endriss, Ulle (2019) Rethinking the Neutrality Axiom in Judgment Aggregation (Extended Abstract). [Pre-print]
PP-2019-18: Terzopoulou, Zoi and Endriss, Ulle (2019) Strategyproof Judgment Aggregation under Partial Information. [Pre-print] (In Press)
X-2018-02: Troelstra, A.S. (2018) Corrections to some Publications. [Report]
MoL-2024-13: Van Santvliet, Hannah (2024) Parameterizing the Notion of Automatability in Proof Complexity. [Report]
DS-2024-08: Verduyn Lunel, Philip (2024) Quantum Position Verification: Loss-tolerant Protocols and Fundamental Limits. Doctoral thesis, Universiteit van Amsterdam.
PP-2022-03: van Benthem, Johan and Bezhanishvili, Nick (2022) Modal structures in groups and vector spaces. [Pre-print]
PP-2021-10: van Benthem, Johan and Icard, Thomas (2021) Interfacing Logic and Counting. [Pre-print] (Submitted)
PP-2021-03: van Benthem, Johan (2021) An Abstract Look at the Fixed-Point Theorem for Provability Logic. [Pre-print] (In Press)
PP-2017-22: van Benthem, Johan (2017) Against All Odds: When Logic Meets Probability. [Pre-print] (In Press)
PP-2017-21: van Benthem, Johan (2017) Constructive Agents. [Pre-print] (In Press)
PP-2021-04: van Benthem, Johan (2021) Lof der Onmogelijkheid. [Pre-print] (In Press)
PP-2021-02: van Benthem, Johan (2021) Relational Patterns, Partiality, and Set Lifting in Modal Semantics. [Pre-print] (Submitted)
PP-2017-25: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) A New Game Equivalence and Its Modal Logic. [Pre-print]
PP-2019-04: van Benthem, Johan and Klein, Dominik (2019) Logics for Analyzing Games. [Pre-print] (In Press)
MoL-2021-02: van Woerkom, Wijnand Koen (2021) Algebraic models of type theory. [Report]
MoL-2018-01: van den Berg, Line (2018) Unreliable Gossip. [Report]
HDS-38: van den Dries, Lou (2024) Model Theory of Fields: Decidability and Bounds for Polynomial Ideals. Doctoral thesis, Rijksuniversiteit Utrecht.
MoL-2023-32: Wang, Yunsong (2023) General Topological Frames for Polymodal Provability Logic. [Report]
MoL-2021-19: Wehr, Dominik (2021) An Abstract Framework for the Analysis of Cyclic Derivations. [Report]
X-2021-01: Wehr, Dominik (2021) Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory. [Report]
DS-2023-12: Wontner, Ned J.H. (2023) Views From a Peak: Generalisations and Descriptive Set Theory. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-05: Ye, Lingyuan (2024) Algebraic Monoidal Model Categories and Path Category Structures for Effective Kan Fibrations. [Report]
MoL-2021-01: Zenger, Lukas (2021) Proof theory for fragments of the modal mu-calculus. [Report]
MoL-2022-23: Zhang, Tianwei (2022) Bisimulations over Parity Formulas. [Report]
MoL-2017-18: Zhao, Bonan (2017) Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game. [Report]
![[up]](/style/images/multi_up.png)
Up a level