View publication by year:
- MoL-2026-01:
- Amos Nicodemus Formalizing Unsolvability Certificates for Automated Planning in Lean 4
- MoL-2026-02:
- Francijn Barbara Keur How Cultural Transmission and Individual Learning Shape the Emergence of Compositionality
- MoL-2026-03:
- Thomas van der Leer Commitments, beliefs and expectations in conversation: Understanding the effect of speech acts in logic
- MoL-2026-04:
- Simon Kreuzer Modal Logics of Tame Topologies
- MoL-2026-05:
- Emma Batistoni Conceptual Engineering of Gender Identity
- MoL-2026-06:
- Orestis Tsakakos Transfinite Games and Regularity Properties in Higher Baire Spaces
- MoL-2026-07:
- Madeleine Gignoux Proofs as Coalgebras
- MoL-2026-08:
- Urtė Jakubauskaitė Evaluating The Syntactic Knowledge of Language Models on Lithuanian
- MoL-2026-09:
- Edoardo Menorello Multilateral calculi for free-choice logics
- MoL-2026-10:
- Matteo Celli A Study of Proof-theoretic Harmony in Multilateral Sequent Calculus
- MoL-2026-11:
- Zhaorui Hu A topos for monotone modified realizability using arrow algebras
- MoL-2026-12:
- Guannan Mi Non-Wellfounded Proof Systems for Provability Logics and Their Metatheory
- MoL-2026-13:
- Giuseppe Manes Updating Uncertain Evidence - Conditionalization and Complexity in Multi-Layer Belief Models
- MoL-2026-14:
- Raya Mezeklieva Machine Speech, Human Speech