模态词和模态命题

模态

狭义=必然 or 可能
□=必然
◇=可能
若物理上可能，则逻辑上可能。
种类
必然肯定
必然否定
可能肯定
可能否定

真值
若p真，则p在所有可能世界中都真。
若p假，则p至少在一个可能世界中为假。

对当关系