About AiML

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences.

The conference is the main international forum at which research on all aspects of modal logic is presented. The Advances in Modal Logic Initiative was founded in 1995 and the first AiML Conference was held in 1996 in Berlin, Germany. Since then the AiML Conference has been organised on an bi-annual basis with previous meetings being held in 1998 in Uppsala, Sweden, in 2000 in Leipzig, Germany (jointly with ICTL-2000), in 2002 in Toulouse, France, in 2004 in Manchester, UK, in 2006 in Noosa, Australia, in 2008 in Nancy, France, and in 2010 in Moscow, Russia.

AiML-2012 is the ninth conference in the series. It is organized by Thomas Bolander, Technical University of Denmark, and Torben Braüner, Roskilde University, Denmark. The program chairs are Silvio Ghilardi, Università degli Studi di Milano, Italy, and Lawrence Moss, Indiana University, USA.



Advances in Modal Logic 2012 is sponsored by