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