Please note that this newsitem has been archived, and may contain outdated information or links.
22-25 August 2012, 9th International Conference on Advanced in Modal Logic (AiML-2012), Copenhagen, Denmark
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. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series.
There will be a special session of AiML devoted to papers on hybrid logic, an extension of modal logic which allows us to refer explicitly to states of the model in the syntax of formulas. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered.
For more information, see http://hylocore.ruc.dk/aiml2012/
We invite submission on all aspects of modal logic.
Papers on related subjects will also be considered.
There will be two types of submissions to AiML-2012
(1) Full papers for publication in the proceedings and presentation at
the
conference (submission deadline: 16 March 2012)
(2) Abstracts for short presentation only (submission deadline: 1 June, 2012).
Please note that this newsitem has been archived, and may contain outdated information or links.