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-08: Becker, Justus (2024) Proof Translations for Intuitionistic Modal Logic. [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]
DS-2024-10: Feijen, Willem (2024) Fast, Right, or Best? Algorithms for Practical Optimization Problems. Doctoral thesis, Universiteit van Amsterdam.
MoL-2024-07: Ghosh, Swapnil (2024) An Exploration of Contraction Free Arithmetic. [Report]
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-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]
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.
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.
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]
![[up]](/style/images/multi_up.png)
Up a level