DS-2023-04: Abnar, Samira (2023) Inductive Biases for Learning Natural Language. Doctoral thesis, University of Amsterdam.
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-2023-02: Cornelissen, Arjan (2023) Quantum multivariate estimation and span program algorithms. Doctoral thesis, University of Amsterdam.
MoL-2023-02: Fish, Andrew (2023) Extensional Realism: Interesting and Uninteresting Truths. [Report]
MoL-2023-01: Flachs, Bo Lazlo (2023) Neglect-Zero Effects on Indicative Conditionals: Extending BSML and BiUS with an implication. [Report]
MoL-2023-04: Foks, Gerson (2023) Towards Efficient Minimum Bayes Risk Decoding. [Report]
PP-2023-02: Galeotti, Lorenzo and Lewis, Ethan S. and Loewe, Benedikt (2023) Symmetry for transfinite computability. [Pre-print] (Submitted)
HDS-34: Henk, Verkuyl (2023) On the Compositional Nature of the Aspects. Doctoral thesis, University of Utrecht.
MoL-2023-03: Keizer, Alex C. (2023) Implementing a definitional (co)datatype package in Lean 4, based on quotients of polynomial functors. [Report]
DS-2023-05: McHugh, Dean (2023) Causation and Modality: Models and Meanings. Doctoral thesis, University of Amsterdam.
PP-2023-01: Motamed, Nima and Soeteman, Arie and Rey, Simon and Endriss, Ulle (2023) Participatory Budgeting with Multiple Resources. [Pre-print]
DS-2023-01: Patro, Subhasree (2023) Quantum Fine-Grained Complexity. Doctoral thesis, University of Amsterdam.
DS-2023-03: Paßmann, Robert (2023) Logical Structure of Constructive Set Theories. Doctoral thesis, University of Amsterdam.
MoL-2022-28: Rushbrooke, Thibault (2023) Taming the Infinity Quantifier: On Well-Behaved Fragments of First-Order Logic with the Quantifier 'There are Infinitely Many'. [Report]
MoL-2023-05: Scholz, Christian Oliver (2023) Imaginability as Representability: A Wittgensteinian Approach to Aphantasia. [Report]
HDS-35: van Rooy, Robert (2023) Attitudes and Changing Contexts. Doctoral thesis, University of Stuttgart.