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.
AiML 2022 will be organized by Sophie Pinchinat, with David Fernández Duque and Alessandra Palmigiano as programme co-chairs. The conference will be held at the Université de Rennes 1 from 22 to 25 August 2022.
The invited speakers include Francesca Poggiolesi, Rineke Verbrugge, Wesley Holliday and Willem Conradie.
AiML 2022 is co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).
Conference local website:
aiml2022.irisa.fr
AiML 2020 was organised by Sara Negri and Gabriel Sandu, with Nicola Olivetti and Rineke Verbrugge as Programme Committee co-chairs. Because of Covid-19 restrictions at the University of Helsinki, the conference was held online from 24 to 28 August 2020.
The invited speakers included Bahareh Afshari, Nick Bezhanishvili, Melvin Fitting and Nina Gierasimczuk.
Conference local website:
www2.helsinki.fi/en/conferences/advances-in-modal-logic-2020
Torben Braüner
Published by Springer in 2011.
The AiML.net web server is hosted by Birkbeck, University of London.
Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu, editors.
AiML volume 13 has been published by College Publications and is now available online.
Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem, editors
Published by Springer in July 2007.
Order from amazon.com or amazon.co.uk.
Patrick Blackburn, Johan van Benthem and Frank Wolter, editors
Published by Elsevier in November 2006.
Order from amazon.com or amazon.co.uk.
Dov Gabbay, Agi Kurucz, Frank Wolter and Michael Zakharyaschev
Published by Elsevier in 2003.