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