On the ILLC site you may find a full list of ILLC research reports and dissertations. Additionally, the electronic archives may also be accessed by using the Search Form of the ILLC Eprints server.
- MoL-2023-05:
- Christian Oliver Scholz Imaginability as Representability: A Wittgensteinian Approach to Aphantasia
- MoL-2023-04:
- Gerson Foks Towards Efficient Minimum Bayes Risk Decoding
- MoL-2023-03:
- Alex C. Keizer Implementing a definitional (co)datatype package in Lean 4, based on quotients of polynomial functors
- MoL-2023-02:
- Andrew Fish Extensional Realism: Interesting and Uninteresting Truths
- MoL-2023-01:
- Bo Lazlo Flachs Neglect-Zero Effects on Indicative Conditionals: Extending BSML and BiUS with an implication
- 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-2022-27:
- Daniël D. Otten De Jongh’s Theorem for Type Theory
- MoL-2022-26:
- Rover Junior Samwel Explorations in Coalgebraic Predicate Logic (With a Focus on Interpolation)
- MoL-2022-25:
- Pepijn Vrijbergen Validity, Logic, and Models
- MoL-2022-24:
- Søren Brinck Knudstorp Modal Information Logics