6月29日 - 2026年7月03日
Advances in Modal Logic
まだフォロワーがいません。
概要
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).
論文募集
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).
重要な日付
カンファレンス日程
Conference Date
2026年6月29日 → 2026年7月3日
- 2024年8月19日 - 2024年8月23日
情報源ランク
情報源: CORE2023
ランク: B
研究分野: Theory of computation, 使用されていません