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-2025-20:
Shing Yau Simon Chiu Using Zippers for Nested Sequents with Focus
MoL-2025-19:
Simeon du Toit Cornelius Van Til’s Presuppositional Epistemology as a New Model for Deep Disagreement: Relations to and Improvements on Quasi-Fideism
MoL-2025-18:
Clara Zoe Riedmiller Exploring the Computational Necessity of Dual Processes for Intelligence
MoL-2025-17:
Kira G. B. Miller An Eye for an ’I’: Investigating the Relationship between Embodiment and Agency and the Possibilities for Artificial Intelligence Models
MoL-2025-16:
Tenyo Takahashi Union-splittings, the Axiomatization Problem, and the Rule Dichotomy Property in Modal Logic
MoL-2025-15:
Yunchong Huang “Who won the last elections?” Detecting Underspecified Queries in Question Answering with LLMs
MoL-2025-14:
Zhirui Chen ROBIN, A TYPE OF CAT: Investigating Hypernymy in Unimodal and Multimodal Models with Contrastive Learning
MoL-2025-13:
Laura Hernández The Epistemology of Privacy
MoL-2025-12:
Stefano Volpe Higher Inductive Types Via Impredicative Encodings
MoL-2025-11:
Joel Artturi Saarinen Limits of Solomonoff Induction