Recent Theses

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-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
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-35:
Orestis Dimou Belegratis Higher-Level Plural Logic
MoL-2025-34:
Horia Lixandru Change of Logic and the Adoption Problem