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-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-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
- MoL-2020-12:
- Martin Karlsson Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies
- MoL-2020-11:
- Eric Flaten Toward a formal representation of radical interpretation
- MoL-2020-10:
- Boas Kluiving Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods
- MoL-2020-09:
- Leo Lobski Quantum quirks, classical contexts: Towards a Bohrification of effect algebras
- MoL-2020-08:
- Tex Aston Felix Schönlank Syntactic logical relations for System F with recursive types and call-by-name semantics