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 2024

AiML 2024 will be organized by Igor Sedlár (Institute of Computer Science of the Czech Academy of Sciences), with Agata Ciabattoni and David Gabelaia as Programme Committee co-chairs. The conference will be held at the Faculty of Arts of Charles University (Prague) from 19 to 22 August 2024.

Conference local website:


Call For Papers

Advances in Modal Logic 2022

AiML 2022 was organized by Sophie Pinchinat, with David Fernández Duque and Alessandra Palmigiano as programme co-chairs. The conference was held at the Université de Rennes 1 from 22 to 25 August 2022.

The invited speakers included Francesca Poggiolesi, Rineke Verbrugge, Wesley Holliday and Willem Conradie.

AiML 2022 was co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).

Conference local website:

Hybrid Logic and its Proof-Theory

[Hybrid Logic and its Proof-Theory
 by T. Braüner]

Torben Braüner

Published by Springer in 2011.

more» web server

The web server is hosted by Birkbeck, University of London.

Advances in Modal Logic, Volume 14

[Advances in Modal Logic, volume 14]

David Fernández-Duque, Alessandra Palmigiano and Sophie Pinchinat, editors.

AiML volume 14 has been published by College Publications and is now available online.


Handbook of Spatial Logic

[Handbook of Spatial Logics]

Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem, editors

Published by Springer in July 2007.

Order from or


Handbook of Modal Logic

[Handbook of Modal Logic]

Patrick Blackburn, Johan van Benthem and Frank Wolter, editors

Published by Elsevier in November 2006.

Order from or


Many-dimensional modal logics: theory and applications

[Many-dimensional modal logics: theory and applications by D. Gabbay, A. Kurucz, F. Wolter and M. Zakharyaschev]

Dov Gabbay, Agi Kurucz, Frank Wolter and Michael Zakharyaschev

Published by Elsevier in 2003.