PP-2024-03: Afshari, Bahareh and Grotenhuis, Lide and Leigh, Graham E. and Zenger, Lukas (2024) Intuitionistic Master Modality. [Pre-print]
DS-2024-09: Allerstorfer, Rene (2024) Position-based Quantum Cryptography: From Theory towards Practice. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-10: Alvarez, David Quinn (2024) The temporal Heyting calculus. [Report]
MoL-2024-08: Becker, Justus (2024) Proof Translations for Intuitionistic Modal Logic. [Report]
DS-2024-12: Chen, Yanlin (2024) On Quantum Algorithms and Limitations for Convex Optimization and Lattice Problems. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-09: Chung, Liam (2024) Automata Closure Constructions for Kleene Algebra with Hypotheses. [Report]
DS-2024-02: Cornelissen, Bas (2024) Measuring musics: Notes on modes, motifs, and melodies. Doctoral thesis, Universiteit van Amsterdam.
DS-2024-03: De Cao, Nicola (2024) Entity Centric Neural Models for Natural Language Processing. Doctoral thesis, Universiteit van Amsterdam.
X-2024-01: De Jong, Eline (2024) Better secure than sorry? Assessing the quantum cybersecurity 'risk'. [Pre-print]
DS-2024-07: Degano, Marco (2024) Indefinites and their values. Doctoral thesis, Universiteit van Amsterdam.
X-2024-02: Dekker, Paul (2024) Conceptual Windows Afford Views on Satisfying Individuals. [Report]
X-2024-05: Dekker, Paul (2024) A Logic for Contextually Restricted Quantification. [Report]
X-2024-04: Dekker, Paul (2024) On Presenting Objects in Propositions. [Report]
DS-2024-10: Feijen, Willem (2024) Fast, Right, or Best? Algorithms for Practical Optimization Problems. Doctoral thesis, Universiteit van Amsterdam.
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]
DS-2024-13: Jumelet, Jaap (2024) Finding Structure in Language Models. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-06: Kroon, Wessel (2024) Knowledge as Issue-Relevant Information. [Report]
PP-2024-01: Leo, Joop (2024) Reconciling positionalism and antipositionalism. [Pre-print] (In Press)
MoL-2024-16: Müller, Michael A. (2024) Arguing with Doubt. [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)
DS-2024-11: Pinto Prieto, Daira (2024) Combining Uncertain Evidence: Logic and Complexity. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-01: Pohlmann, Max (2024) Analytic Nondualism: Why Reality is Objectively Subjective. [Report]
MoL-2024-11: Renata, Alyssa (2024) Homotopy Theory of Computable Spaces. [Report]
X-2024-03: Rey, Simon and Endriss, Ulle (2024) A Note on How to Build a Conference Schedule: The Case of ECAI-2024. [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.
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]
HDS-39: Smid, Michiel (2024) Dynamic Data Structures on Multiple Storage Media. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-12: Smit, Wouter (2024) Axiomatising Protocol-Dependent Knowledge in Gossip. [Report]
DS-2024-06: Sotáková, Jana (2024) Isogenies and Cryptography. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-04: Spencer-Piacentini, Fiona (2024) Wondering about Mood in Romance: the view from Italian inquisitive predicates. [Report]
DS-2024-04: Takmaz, Ece (2024) Visual and Linguistic Processes in Deep Neural Networks: A Cognitive Perspective. Doctoral thesis, Universiteit van Amsterdam.
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.
HDS-38: van den Dries, Lou (2024) Model Theory of Fields: Decidability and Bounds for Polynomial Ideals. Doctoral thesis, Rijksuniversiteit Utrecht.
MoL-2024-02: Weijland, Elynn Louise (2024) An Analysis of Visual and Morphosyntactic Cues in Biased Polar Questions in Dutch. [Report]
MoL-2024-05: Ye, Lingyuan (2024) Algebraic Monoidal Model Categories and Path Category Structures for Effective Kan Fibrations. [Report]