Advances in Modal Logic

Aperçu

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. Topics We invite submissions on all aspects of modal and related logic, including (but not limited to): Semantics and model theory, Proof theory, also including automated deduction, Applications of modal logic, Co-algebraic aspects, History of modal logic, Philosophy of modal logic, Computational or theoretical aspects, Specific instances and variations of modal logic (e.g., description logics, dynamic logics, epistemic and deontic logics, modal logics for agent-based systems, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics).

Classement source

Carte