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-2024-16:
- Michael A. Müller Arguing with Doubt
- MoL-2024-15:
- Paul Seip A Constructive Small Object Argument
- MoL-2024-14:
-
Arunavo Ganguly
Characterizing Formulas using Post’s Lattice
1.Full Text.
- MoL-2024-13:
- Hannah Van Santvliet Parameterizing the Notion of Automatability in Proof Complexity
- MoL-2024-12:
- Wouter Smit Axiomatising Protocol-Dependent Knowledge in Gossip
- MoL-2024-11:
- Alyssa Renata Homotopy Theory of Computable Spaces
- MoL-2024-10:
- David Quinn Alvarez The temporal Heyting calculus
- MoL-2024-09:
- Liam Chung Automata Closure Constructions for Kleene Algebra with Hypotheses
- MoL-2024-08:
- Justus Becker Proof Translations for Intuitionistic Modal Logic
- MoL-2024-07:
- Swapnil Ghosh An Exploration of Contraction Free Arithmetic