“你可以这么做”之间的区别看起来很像在“这是必然的”和“这是可能的”之间的区别。这种逻辑叫做道义逻辑，“道义”来自希腊语duty。
模态逻辑的释义.在模态逻辑的最常见解释中，你要考虑“所有逻辑上可能的世界”。如果一个陈述在所有可能世界中是真的，则它是必然的真理。如果一个陈述碰巧在我们的世界中是真的，但不是在所有可能世界中是真的，则它是偶然的真理。在某些（不是必须在我们自己的）可能世界中是真的陈述叫做可能的真理。这种"可能世界"是否是解释模态逻辑的最佳方式，怎样在文字上接受这种方