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-2021-06:
Giovanni Varricchione Complexity of Locally Fair Allocations on Graphs
MoL-2021-05:
Damiano Fornasiere Representable Forests and Diamond Systems
MoL-2021-04:
Daniël Louwrink A Separation Logic for Stacked Borrows
MoL-2021-03:
Aleksi Anttila The Logic of Free Choice Axiomatizations of State-based Modal Logics
MoL-2021-02:
Wijnand Koen van Woerkom Algebraic models of type theory
MoL-2021-01:
Lukas Zenger Proof theory for fragments of the modal mu-calculus
MoL-2020-16:
Valentin Vogelmann Statistical Methodology for Quantitative Linguistics: A Case Study of Learnability and Zipf’s Law
MoL-2020-15:
Marta Campa Deflationism about Reference
MoL-2020-14:
Brandon Ryan Hoogstra From Cross-World Predication to Cross-World Travel:
Building a Bridge between Worlds
MoL-2020-13:
Sebastian David Melzer Canonical Formulas for the Lax Logic