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