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