\n

Advan ces in Modal Logic is an initiative aimed at prese nting\n the state of the art in modal logic a nd its various\n applications. The initiative consists of a conference series\n together w ith volumes based on the conferences. Information\ n about the AiML series can be obtained at\n http://www.aiml.net. AiML-2012 is the ninth\n conference in the series.\n

\nThere will be a special session of AiML devote d to papers on\n hybrid logic, an extension o f modal logic which allows us to\n refer expl icitly to states of the model in the syntax of\n formulas. The scope of the special session is standard\n hybrid-logical machinery like nomi nals, satisfaction operators,\n and the downa rrow binder, but also other extensions of modal\n logic can be considered.\n

\n \n \nFor more information, see\n http://hylocore.ruc.dk/aiml2012/\n

\n\n

URL:/NewsandEvents/Archives/2012/newsitem/4000/22-
25-August-2012-9th-International-Conference-on-Adv
anced-in-Modal-Logic-AiML-2012-Copenhagen-Denmark
END:VEVENT
END:VCALENDAR
We invite subm
ission on all aspects of modal logic.\n Pap
ers on related subjects will also be considered.\n
There will be two types of submissions to
AiML-2012

\n (1) Full papers for public
ation in the proceedings and presentation at\n
the\n conference (submission deadline:
16 March 2012)

\n (2) Abstracts for sho
rt presentation only (submission deadline: 1 June,
2012).