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-2025-08:
Fatima Scha The paradoxicality of Curry
MoL-2025-07:
Minzhe Li Theoretical Equivalence as Representational Equivalence
MoL-2025-06:
Ruiting Jiang Truth and Dependence
MoL-2025-05:
Lorenz Hornung Reasoning About Legal Concepts with Propositional Dependence Logic
MoL-2025-04:
Arnar Ágúst Kristjánsson Expressive Power of Homomorphism Query Algorithms
MoL-2025-03:
Paulius Skaisgiris Inductive Learning of Temporal Advice Formulae for Guiding Planners
MoL-2025-02:
Jonas van der Schaaf AKE-principles for deeply ramified fields
MoL-2025-01:
Djanira dos Santos Gomes Virtual Group Knowledge on Topological Evidence Models
MoL-2024-25:
Daan Schoneveld On Quantum Data Structures
MoL-2024-24:
Amity Aharoni Pushing the BoxEL Envelope