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-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
MoL-2022-23:
Tianwei Zhang Bisimulations over Parity Formulas
MoL-2022-22:
Lide Grotenhuis Natural Axiomatic Theories and Consistency Strength: A Lakatosian Approach to the Linearity Conjecture
MoL-2022-21:
Gian Marco Osso Some results on the Generalized Weihrauch Hierarchy
MoL-2022-20:
Erin McCloskey Relative Weak Factorization Systems
MoL-2022-19:
Rodrigo Nicolau Almeida Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB
MoL-2022-18:
Anouk Michelle Oudshoorn Cost Fixed Point Logic