下雨了，如果实际上已经下了，则说“昨天可能没有下雨”就不是完全正确的。过去好像“固定的”或必然的，而将来在某种程度上不是。很多哲学家和逻辑学家认为这种推理不是很好；但是我们经常以这种方式谈话，所以最好有一种逻辑能捕获它的结构。类似的有关道德的谈论，或者说义务和规范一般好像也有模态结构。在“你必须这么做”和“你可以这么做”之间的区别看起来很像在“这是必然的”和“这是可能的”之间的区别。这种逻辑叫做道义逻辑，“道义”来自希腊语duty。
模态逻辑的释义.在模态逻辑的最常见解释中，你要考