Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical discipline that deals with (restricted) description languages for talking about various kinds of relational structures.
Advances in Modal Logic is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world. The book series is based on the conferences. Please consult the background pages for further details.
Advances in Modal Logic 2026
AiML 2026 will be organized by Iris van der Giessen and Marianna Girlando, with Marta Bílková and Yanjing Wang as Programme Committee co-chairs. The conference will be held at the University of Amsterdam from 29 June to 3 July 2026.
Conference local website:
events.illc.uva.nl/aiml2026
Advances in Modal Logic 2024
AiML 2024 was organized by Igor Sedlár, with Agata Ciabattoni and David Gabelaia as Programme Committee co-chairs. The conference was held at the Faculty of Arts, Charles University in Prague from 22 to 25 August 2024.
The invited speakers included Alexandru Baltag, Marta Bílková, David Fernández Duque and Cláudia Nalon.
AiML 2024 was collocated with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).
Conference local website:
www.cs.cas.cz/aiml2024
Hybrid Logic and its Proof-Theory
![[Hybrid Logic and its Proof-Theory
by T. Braüner]](images/brauener.jpg)
Torben Braüner
Published by Springer in 2011.
AiML.net web server
The AiML.net web server is hosted by the School of Computing and Mathematical Sciences, Birkbeck, University of London.
![[Birkbeck, University of London]](images/birkbeck.jpg)
Advances in Modal Logic, Volume 15
![[Advances in Modal Logic, volume 15]](images/volume15.jpg)
Agata Ciabattoni, David Gabelaia and Igor Sedlár, editors.
AiML volume 15 has been published by College Publications and is now available online.
.
Handbook of Spatial Logic
![[Handbook of Spatial Logics]](images/handbook-spatial-logics.gif)
Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem, editors
Published by Springer in July 2007.
Order from amazon.com or amazon.co.uk.
Handbook of Modal Logic
![[Handbook of Modal Logic]](images/modal-logic.gif)
Patrick Blackburn, Johan van Benthem and Frank Wolter, editors
Published by Elsevier in November 2006.
Order from amazon.com or amazon.co.uk.
Many-dimensional modal logics: theory and applications
![[Many-dimensional modal logics: theory and applications by D. Gabbay, A. Kurucz, F. Wolter and M. Zakharyaschev]](images/book-gkwz.gif)
Dov Gabbay, Agi Kurucz, Frank Wolter and Michael Zakharyaschev
Published by Elsevier in 2003.