-
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