Advances in Modal Logic is an initiative aimed at
presenting an up-to-date picture of the state of the
art in modal logic and its many 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 Toulouse, France, and in 2004 in Manchester,