Advances in Modal Logic (AiML) 2026

Advances in Modal Logic (AiML) 2026 is the sixteenth installment of a biennial international conference series dedicated to presenting the latest developments in modal logic and its diverse applications. Organized by the Institute of Logic, Language and Computation (ILLC) at the University of Amsterdam, the conference took place from June 29 to July 3, 2026, in Amsterdam, Netherlands. The event aimed to provide a comprehensive overview of current research in modal logic, fostering collaboration among scholars and practitioners in the field.

The conference covered a wide range of topics within modal and related logics, including semantics and model theory, proof theory (with a focus on automated deduction), applications of modal logic, co-algebraic aspects, and the history and philosophy of modal logic. Specific areas of interest encompassed description logics, dynamic logics, epistemic and deontic logics, modal logics for agent-based systems, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, and substructural logics. This broad thematic scope ensured a rich and diverse program that addressed both theoretical foundations and practical applications of modal logic.

The conference featured invited talks from distinguished scholars such as Kit Fine, David Gabelaia, Mojtaba Mojtahedi, Aybüke Özgün, and Sara Uckelman. These presentations provided attendees with insights into cutting-edge research and emerging trends in the field. Additionally, the event included sessions for contributed papers, allowing researchers to present their latest findings and engage in discussions with peers. The proceedings of AiML 2026 were published open access via Electronic Proceedings in Theoretical Computer Science (EPTCS), making the research accessible to a global audience.

AiML 2026 was designed for researchers, academics, and practitioners with an interest in modal logic and its applications. The conference provided a platform for sharing knowledge, discussing recent advancements, and exploring future directions in the field. Attendees had the opportunity to network with colleagues, collaborate on interdisciplinary projects, and gain exposure to a wide array of perspectives and methodologies in modal logic.