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-2026-12:
- Guannan Mi Non-Wellfounded Proof Systems for Provability Logics and Their Metatheory
- MoL-2026-11:
- Zhaorui Hu A topos for monotone modified realizability using arrow algebras
- MoL-2026-10:
- Matteo Celli A Study of Proof-theoretic Harmony in Multilateral Sequent Calculus
- MoL-2026-09:
- Edoardo Menorello Multilateral calculi for free-choice logics
- MoL-2026-08:
- Urtė Jakubauskaitė Evaluating The Syntactic Knowledge of Language Models on Lithuanian
- MoL-2026-07:
- Madeleine Gignoux Proofs as Coalgebras
- MoL-2026-06:
- Orestis Tsakakos Transfinite Games and Regularity Properties in Higher Baire Spaces
- MoL-2026-05:
- Emma Batistoni Conceptual Engineering of Gender Identity
- MoL-2026-04:
- Simon Kreuzer Modal Logics of Tame Topologies
- MoL-2026-03:
- Thomas van der Leer Commitments, beliefs and expectations in conversation: Understanding the effect of speech acts in logic