Proceedings of the Sixteenth International Conference on Advances in Modal Logic
For researchers in modal logic and related fields, this proceedings volume documents the current state of the art and facilitates open access to the latest advances.
This volume contains the proceedings of the 16th International Conference on Advances in Modal Logic (AiML 2026), including abstracts of invited talks and full papers. It marks the 30th anniversary of the conference series and transitions to open access publication via EPTCS.
Advances in Modal Logic (AiML) was founded in 1995 as an initiative devoted to presenting an up-to-date picture of research in modal logic and its many applications. It combines a conference series with volumes arising from the conferences, and has become the flagship international forum for work on all aspects of modal logic. Over the past three decades, AiML has both recorded and helped shape developments across the field, bringing together semantic, proof-theoretic, algebraic, topological, computational, philosophical, and applied perspectives on modal and related logics. Exactly thirty years after the first AiML conference, AiML 2026, the sixteenth conference in the series, is organized by the Institute of Logic, Language and Computation (ILLC) of the University of Amsterdam. The conference takes place in Amsterdam, the Netherlands, from 29 June to 3 July 2026. This volume contains abstracts of invited talks and full papers accepted for the conference. Beginning with AiML 2026, the proceedings are published open access via Electronic Proceedings in Theoretical Computer Science (EPTCS).