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