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