ILLC Publications, All Series, 2023

MoL-2022-28:
Thibault Rushbrooke Taming the Infinity Quantifier: On Well-Behaved Fragments of First-Order Logic with the Quantifier 'There are Infinitely Many'
MoL-2023-01:
Bo Lazlo Flachs Neglect-Zero Effects on Indicative Conditionals: Extending BSML and BiUS with an implication
MoL-2023-02:
Andrew Fish Extensional Realism: Interesting and Uninteresting Truths
MoL-2023-03:
Alex C. Keizer Implementing a definitional (co)datatype package in Lean 4, based on quotients of polynomial functors
MoL-2023-04:
Gerson Foks Towards Efficient Minimum Bayes Risk Decoding
MoL-2023-05:
Christian Oliver Scholz Imaginability as Representability: A Wittgensteinian Approach to Aphantasia
MoL-2023-06:
Storm Diephuis Effective Kan fibrations for simplicial groupoids, semisimplicial sets and Ex∞
MoL-2023-07:
Cheng Liao Stable Canonical Rules for Intuitionistic Modal Logics
MoL-2023-08:
Anne Marleen Gaasbeek Polar Questions in Sign Language of the Netherlands (NGT) and Dutch
MoL-2023-09:
Patrick Weigert A Program Calculus for Dynamical Systems
MoL-2023-10:
Isa Anne Kooiman Unraveling vagueness: Exploring its puzzles, its nature, and their interplay
MoL-2023-12:
Raúl Ruiz Mora Team Semantics for Modal mu-Calculus
MoL-2023-13:
Sabina Dominguez Parrado Metaphysical Multiversism: from Armchair to Practice
MoL-2023-14:
Jesse A. Comer Homomorphism Counts, Database Queries, and Modal Logics
MoL-2023-15:
Philemon L. Huising Multiwinner Voting with Priority Candidates
MoL-2023-16:
Tuva Vigen Bardal Size Approval Voting Rules
MoL-2023-17:
Borja Sierra Miranda On the Provability Logic of Constructive Arithmetic: The Σ_1-provability logics of fragments of Heyting Arithmetic
MoL-2023-18:
Martijn Brehm Quantifying quantum walk speed-ups
MoL-2023-19:
Gianluca Michelli Intentions behind metaphor use
MoL-2023-20:
Noortje Catelijn ten Wolde The Nature of Quantum Information
MoL-2023-21:
Franciscus Cornelis Lambertus Wildenburg Investigations into Semantic Underspecification in Language Models
MoL-2023-22:
Xavier Ripoll Echeveste Alternative Impredicative Encodings of Inductive Types
MoL-2023-23:
Dominique Marie Danco How Many Oracle Calls Does It Take to Locate a Lightbulb?
MoL-2023-24:
Tianyi Chu Topic-relevance and Hyperintensional Belief
MoL-2023-25:
Steef Hegeman Priority arguments in transfinite computability theory
MoL-2023-26:
Valentin Müller On the Proof Theory of Inquisitive Logic
MoL-2023-27:
Elias Bronner Unrestricted Fusion and Unrestricted Quantification: Mereological Essentialism and the Universe
MoL-2023-28:
Simon Lemal Hereditary structural completeness of weakly transitive modal logics
MoL-2023-29:
Siyuan Cao Wh-indefinites in Mandarin: The case of shenme (什么)
MoL-2023-30:
Isabella Cissell The Pretense View of Fiction
MoL-2023-31:
Evan (Evangelos) Iatrou Reclaiming Enlightenment: on the logical foundations of the rule of law in a legitimate algocracy
MoL-2023-32:
Yunsong Wang General Topological Frames for Polymodal Provability Logic
MoL-2023-33:
Iris Luden Beyond Perplexity: Examining Temporal Generalization of Large Language Models via Definition Generation
MoL-2023-34:
Evelina Lissoni Why logical pluralists should be anti-exceptionalists
MoL-2023-35:
Kirill Kopnev Dynamic logics of polyhedra and their application in 3D modeling
MoL-2023-36:
Jonathan Thul The Logical Dynamics of Social Networks: From Homophily to Polarization
MoL-2023-37:
P. Maurice Dekker Polyhedral semantics of modal logic
PP-2023-01:
Nima Motamed, Arie Soeteman, Simon Rey, Ulle Endriss Participatory Budgeting with Multiple Resources
PP-2023-02:
Lorenzo Galeotti, Ethan S. Lewis, Benedikt Loewe Symmetry for transfinite computability
PP-2023-03:
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema Proof Systems for Two-way Modal mu-Calculus
PP-2023-04:
Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini Degrees of the finite model property: The antidichotomy theorem
PP-2023-05:
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra The intermediate logic of convex polyhedra
PP-2023-06:
Rodrigo N. Almeida Π2 -Rule Systems and Inductive Classes of Gödel Algebras
PP-2023-07:
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh Herbrand Schemes for First-order Logic
PP-2023-08:
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh Herbrand Schemes for Cyclic Proofs