lqvist公式)这是一个非常强力的准则；例如，上面列出的典范的所有公理是实际上的(等价于) Sahlqvist 公式。
有限模型性质.逻辑拥有有限模型性质(FMP)，如果它关于有限框架的类是完备的。这个概念的主要应用之一是可判定性问题: 它服从 Post定理，有 FMP 的递归公理化的模态逻辑 "L" 是可判定的，倘若给定的有限框架是否是 "L" 的模型是可判定的。特别是，有 FMP 的所有的有限可公理化的逻辑都是可判定的。有各种方法为给定的逻辑建立 FMP。精练并扩展规范