这就生成经常叫做T的一个系统。这是多数但不是全部模态逻辑系统的规则。Jay Zeman的书《Modal Logic》覆盖了没有这个规则的系统如S1^0。其他周知的基本公理：这些公理产生的系统："K"到"S5"形成了嵌套的系统层级，建造了正规模态逻辑的核心。"D"主要对探索模态逻辑的道义解释的人有价值。今天最常见的系统是模态逻辑S5，它通过增加使所有模态真理是必然的公理来粗壮的解答了这个问题：例如，如果formula_15是可能的，则formula_15必然是可能的，如果p是必然的，则它必然