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