ILLC Publications, All Series, 2023

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