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-01:
- Amos Nicodemus Formalizing Unsolvability Certificates for Automated Planning in Lean 4
- MoL-2025-31:
- Mayra Huespe Meaning and Agency in Large Language Models
- MoL-2025-30:
- Klarise Marais Collaborative Knowability
- MoL-2025-29:
- Joris A. Galema Explicit belief, Justification terms and Quasi-consistent evidence
- MoL-2025-28:
- Otto de Jong Structured Justifications for Binary Aggregation
- MoL-2025-27:
- Spyridon Dialiatsis Combinatorial Properties of the Raisonnier Filter
- MoL-2025-26:
- Tisja Irene Smits Numerical Judgment Aggregation: Towards a General Framework
- MoL-2025-25:
- Kirti Singh Descriptive and Substantive Representation in Approval-Based Committee Voting
- MoL-2025-24:
- Yuan Ma Disjunctions in Mandarin Chinese
- MoL-2025-23:
- Josef C L Doyle von Hoffmann HMS-Duality for Residuated Lattices