- Subjects (34)
**Mathematics**(144)

Group by: Authors | Item Type

Number of items at this level: **144**.

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-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-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.

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]

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]