View publication by year:
- 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
1.Full Text.
- 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