\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

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 submission
on all aspects of modal logic.\n Papers on
related subjects will also be considered.\n
There will be two types of submissions to AiML-2
012

\n (1) Full papers for publication
in the proceedings and presentation at\n th
e\n conference (submission deadline: 16 Mar
ch 2012)

\n (2) Abstracts for short pre
sentation only (submission deadline: 1 June, 2012)
.