Recent Theses

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