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-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
- MoL-2026-02:
- Francijn Barbara Keur How Cultural Transmission and Individual Learning Shape the Emergence of Compositionality
- MoL-2026-01:
- Amos Nicodemus Formalizing Unsolvability Certificates for Automated Planning in Lean 4
- MoL-2025-33:
- Stefano Zuffi Arbitrary Terms with No Arbitrary Object
- MoL-2025-32:
- Sarah M. Dukic A Coalgebraic Semantics for Fischer Servi Logic
- MoL-2025-31:
- Mayra Huespe Meaning and Agency in Large Language Models