-
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
