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