Items where Year is 2023

A

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

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)

B

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

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

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

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]

C

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]

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

D

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]

F

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]

G

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

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

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

H

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

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

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

I

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

K

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]

L

MoL-2023-28: Lemal, Simon (2023) Hereditary structural completeness of weakly transitive modal logics. [Report]

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

MoL-2023-07: 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]

M

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.

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]

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

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

P

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.

R

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

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]

S

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]

T

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

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

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

V

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

W

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

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]

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

Y

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