an的书《Modal Logic》覆盖了没有这个规则的系统如S1^0。其他周知的基本公理：这些公理产生的系统："K"到"S5"形成了嵌套的系统层级，建造了正规模态逻辑的核心。"D"主要对探索模态逻辑的道义解释的人有价值。今天最常见的系统是模态逻辑S5，它通过增加使所有模态真理是必然的公理来粗壮的解答了这个问题：例如，如果formula_15是可能的，则formula_15必然是可能的，如果p是必然的，则它必然是必然的。很多人认为它正当的根据是，它是在我们需要每个可能的世界相对于每个其他世界都是可