Similar to 厳密含意
論理的真理
Logical truth
論理演算
Logical connective
論理結合子
逆含意
Converse implication
逆非含意
Converse nonimplication同値
If and only if
排他的論理和
Exclusive or非含意
Material nonimplication
否定
Negation
否定論理積
Sheffer stroke
否定論理和
Logical NOR
論理積
Logical conjunction論理包含
Material conditional
論理和
Logical disjunction
様相論理
Modal logic
解釈可能性論理
Interpretability logic
義務論理
Deontic logic
共有知識
Common knowledge (logic)
近傍意味論
Neighborhood semantics
偶然
Contingency (philosophy)クリプキ意味論
Kripke semantics
証明可能性論理
Provability logic正規様相論理
Normal modal logic動的意味論
Dynamic semantics
二次元主義
Two-dimensionalism
認識論理
Epistemic modal logic
不可能世界論
Impossible world
命令論理
Imperative logic
