Восьмая Международная конференция серии "Advances in Modal Logic" (AiML 2010).

Topics:

We invite submission on all aspects of modal logics, including:
* history of modal logic
* philosophy of modal logic
* applications of modal logic
* computational aspects of modal logic
          o complexity and decidability of modal and temporal logics
          o modal and temporal logic programming
          o model checking
          o theorem proving for modal logics
* theoretical aspects of modal logic
          o algebraic and categorical perspectives on modal logic
          o coalgebraic modal logic
          o completeness and canonicity
          o correspondence and duality theory
          o many-dimensional modal logics
          o modal fixed point logics
          o model theory of modal logic
          o proof theory of modal logic
* specific instances and variations of modal logic
          o description logics
          o dynamic logics and other process logics
          o epistemic and deontic logics
          o modal logics for agent-based systems
          o modal logic and game theory
          o modal logic and grammar formalisms
          o provability and interpretability logics
          o spatial and temporal logics
          o hybrid logic
          o intuitionistic logic
          o substructural logics

Papers on related subjects will also be considered.