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 2008
AiML 2008 was organized by Patrick Blackburn with Carlos Areces and Rob Goldblatt as the programme co-chairs. It was held in LORIA, Nancy, France, from 9-12 September 2008.
Conference local website:
http://aiml08.loria.fr
Second-Order Quantifier Elimination
![[Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications by D. Gabbay, R. Schmidt and A. Szalas]](images/book-second-order.gif)
Dov M. Gabbay, Renate A. Schmidt and Andrzej Szalas
Published by College Publications in April 2008.
Order from amazon.com, amazon.co.uk or amazon.de.
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.
Advances in Modal Logic, Volume 7
![[Advances in Modal Logic, volume 7]](images/volume7.gif)
Carlos Areces and Robert Goldblatt, editors.
AiML volume 7 has been published by College Publications and is now available online.
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
Dov Gabbay, Agi Kurucz, Frank Wolter and Michael Zakharyaschev
Published by Elsevier in 2003.
AiML.net web server
The AiML.net web server has moved to Birkbeck, University of London.