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 2018

AiML 2018 was organized by George Metcalfe and Thomas Studer with Guram Bezhanishvili and Giovanna D'Agostino as programme co-chairs. The conference was held at the University of Bern from 27 to 31 August 2017.

The invited speakers included Rob Goldblatt, Rosalie Iemhoff and Stanislav Kikot.

Conference local website:
www.aiml2018.unibe.ch

more»

Advances in Modal Logic 2016

AiML 2016 was organized by András Máté with Lev Beklemishev and Stéphane Demri as programme co-chairs. The conference was held at the Central European University, Budapest, from 30 August to 2 September 2016.

The invited speakers included Guram Bezhanishvili, Valentin Goranko, Sonja Smets and Yde Venema.

Conference local website:
phil.elte.hu/aiml2016

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»


AiML.net web server

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

Advances in Modal Logic, Volume 12

[Advances in Modal Logic, volume 12]

Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe and Thomas Studer, editors.

AiML volume 12 has been published by College Publications.

 

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 amazon.com or amazon.co.uk.

more»


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 amazon.com or amazon.co.uk.

more»


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.

more»