Category:様相論理
証明可能性論理
Provability logic
クリプキ意味論
Kripke semantics近傍意味論
Neighborhood semantics
解釈可能性論理
Interpretability logic
二次元主義
Two-dimensionalism
命令論理
Imperative logic
正規様相論理
Normal modal logic
厳密含意
Strict conditional動的意味論
Dynamic semantics
偶然
Contingency (philosophy)
不可能世界論
Impossible world
義務論理
Deontic logic
認識論理
Epistemic modal logic
共有知識
Common knowledge (logic)様相論理
Modal logic