Международная конференция «Advances in Modal Logic 2010» AiML 2010

Тематика конференции:

    * 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;