Number of items: **62**.

PP-2023-05:
Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo
(2023)
*The intermediate logic of convex polyhedra.*
[Pre-print]

PP-2023-08:
Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E.
(2023)
*Herbrand Schemes for Cyclic Proofs.*
[Pre-print]

PP-2023-07:
Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E.
(2023)
*Herbrand Schemes for First-order Logic.*
[Pre-print]
(Submitted)

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)

PP-2023-06:
Almeida, Rodrigo N.
(2023)
*Π2 -Rule Systems and Inductive Classes of Gödel Algebras.*
[Pre-print]
(Submitted)

PP-2023-04:
Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso
(2023)
*Degrees of the finite model property: The antidichotomy theorem.*
[Pre-print]

PP-2023-02:
Galeotti, Lorenzo and Lewis, Ethan S. and Loewe, Benedikt
(2023)
*Symmetry for transfinite computability.*
[Pre-print]
(Submitted)

PP-2023-01:
Motamed, Nima and Soeteman, Arie and Rey, Simon and Endriss, Ulle
(2023)
*Participatory Budgeting with Multiple Resources.*
[Pre-print]

MoL-2023-16:
Bardal, Tuva Vigen
(2023)
*Size Approval Voting Rules.*
[Report]
(Unpublished)

MoL-2023-18:
Brehm, Martijn
(2023)
*Quantifying quantum walk speed-ups.*
[Report]

MoL-2023-27:
Bronner, Elias
(2023)
*Unrestricted Fusion and Unrestricted Quantification: Mereological Essentialism and the Universe.*
[Report]

MoL-2023-29:
Cao, Siyuan
(2023)
*Wh-indefinites in Mandarin: The case of shenme (什么).*
[Report]

MoL-2023-24:
Chu, Tianyi
(2023)
*Topic-relevance and Hyperintensional Belief.*
[Report]

MoL-2023-30:
Cissell, Isabella
(2023)
*The Pretense View of Fiction.*
[Report]

MoL-2023-14:
Comer, Jesse A.
(2023)
*Homomorphism Counts, Database Queries, and Modal Logics.*
[Report]

MoL-2023-23:
Danco, Dominique Marie
(2023)
*How Many Oracle Calls Does It Take to Locate a Lightbulb?*
[Report]

MoL-2023-37:
Dekker, P. Maurice
(2023)
*Polyhedral semantics of modal logic.*
[Report]

MoL-2023-06:
Diephuis, Storm
(2023)
*Effective Kan fibrations for simplicial groupoids, semisimplicial sets and Ex∞.*
[Report]

MoL-2023-13:
Dominguez Parrado, Sabina
(2023)
*Metaphysical Multiversism: from Armchair to Practice.*
[Report]

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]

MoL-2023-08:
Gaasbeek, Anne Marleen
(2023)
*Polar Questions in Sign Language of the Netherlands (NGT) and Dutch.*
[Report]

MoL-2023-25:
Hegeman, Steef
(2023)
*Priority arguments in transfinite computability theory.*
[Report]

MoL-2023-15:
Huising, Philemon L.
(2023)
*Multiwinner Voting with Priority Candidates.*
[Report]

MoL-2023-31:
Iatrou, Evan (Evangelos)
(2023)
*Reclaiming Enlightenment: on the logical foundations of the rule of law in a legitimate algocracy.*
[Report]

MoL-2023-03:
Keizer, Alex C.
(2023)
*Implementing a definitional (co)datatype package in Lean 4, based on quotients of polynomial functors.*
[Report]

MoL-2023-10:
Kooiman, Isa Anne
(2023)
*Unraveling vagueness: Exploring its puzzles, its nature, and their interplay.*
[Report]

MoL-2023-35:
Kopnev, Kirill
(2023)
*Dynamic logics of polyhedra and their application in 3D modeling.*
[Report]

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-2023-11:
Liao, Cheng
(2023)
*Stable Canonical Rules for Intuitionistic Modal Logics.*
[Report]

MoL-2023-34:
Lissoni, Evelina
(2023)
*Why logical pluralists should be anti-exceptionalists.*
[Report]

MoL-2023-33:
Luden, Iris
(2023)
*Beyond Perplexity: Examining Temporal Generalization of Large Language Models via Definition Generation.*
[Report]

MoL-2023-19:
Michelli, Gianluca
(2023)
*Intentions behind metaphor use.*
[Report]

MoL-2023-12:
Mora, Raúl Ruiz
(2023)
*Team Semantics for Modal mu-Calculus.*
[Report]

MoL-2023-26:
Müller, Valentin
(2023)
*On the Proof Theory of Inquisitive Logic.*
[Report]

MoL-2023-22:
Ripoll Echeveste, Xavier
(2023)
*Alternative Impredicative Encodings of Inductive Types.*
[Report]

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]

MoL-2023-17:
Sierra Miranda, Borja
(2023)
*On the Provability Logic of Constructive Arithmetic: The Σ_1-provability logics of fragments of Heyting Arithmetic.*
[Report]

MoL-2023-36:
Thul, Jonathan
(2023)
*The Logical Dynamics of Social Networks: From Homophily to Polarization.*
[Report]

MoL-2023-32:
Wang, Yunsong
(2023)
*General Topological Frames for Polymodal Provability Logic.*
[Report]

MoL-2023-09:
Weigert, Patrick
(2023)
*A Program Calculus for Dynamical Systems.*
[Report]

MoL-2023-21:
Wildenburg, Franciscus Cornelis Lambertus
(2023)
*Investigations into Semantic Underspecification in Language Models.*
[Report]

MoL-2023-20:
ten Wolde, Noortje Catelijn
(2023)
*The Nature of Quantum Information.*
[Report]

DS-2023-04:
Abnar, Samira
(2023)
*Inductive Biases for Learning Natural Language.*
Doctoral thesis, University of Amsterdam.

HDS-37:
Barendregt, Henk
(2023)
*Some extensional term models for combinatory logics and Lambda-Calculi.*
Doctoral thesis, Rijksuniversiteit Utrecht.

DS-2023-02:
Cornelissen, Arjan
(2023)
*Quantum multivariate estimation and span program algorithms.*
Doctoral thesis, University of Amsterdam.

DS-2023-10:
Giulianelli, Mario
(2023)
*Neural Models of Language Use: Studies of Language Comprehension and Production in Context.*
Doctoral thesis, Universiteit van Amsterdam.

HDS-34:
Henk, Verkuyl
(2023)
*On the Compositional Nature of the Aspects.*
Doctoral thesis, University of Utrecht.

DS-2023-08:
Li, Lei
(2023)
*Games, Boards and Play: A Logical Perspective.*
Doctoral thesis, University of Amsterdam.

DS-2023-05:
McHugh, Dean
(2023)
*Causation and Modality: Models and Meanings.*
Doctoral thesis, University of Amsterdam.

DS-2023-11:
Menéndez Turata, Guillermo
(2023)
*Cyclic Proof Systems for Modal Fixpoint Logics.*
Doctoral thesis, Universiteit van Amsterdam.

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.

DS-2023-09:
Rey, Simon
(2023)
*Variations on Participatory Budgeting.*
Doctoral thesis, University of Amsterdam.

HDS-36:
Torenvliet, Leen
(2023)
*Structured Concepts in Relativised Hierarchies.*
Doctoral thesis, Universiteit van Amsterdam.

DS-2023-07:
Wang, Yiyan
(2023)
*Collective Agency: From Philosophical and Logical Perspectives.*
Doctoral thesis, University of Amsterdam.

DS-2023-12:
Wontner, Ned J.H.
(2023)
*Views From a Peak: Generalisations and Descriptive Set Theory.*
Doctoral thesis, Universiteit van Amsterdam.

DS-2023-06:
Yan, Jialiang
(2023)
*Monotonicity in Intensional Contexts: Weakening and
Pragmatic Effects under Modals and Attitudes.*
Doctoral thesis, University of Amsterdam.

HDS-35:
van Rooy, Robert
(2023)
*Attitudes and Changing Contexts.*
Doctoral thesis, University of Stuttgart.