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
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