系统)研究是有用的，条件是在语义"蕴涵"关系忠实的反映语法对应物 -- "推论"关系("可推导性")。所以知道哪个模态逻辑关于哪类克里普克框架是可靠的和完备的，并为它们确定这种类是关键性的。对于克里普克框架的任何类 "C"，"Thm(C)" 是正规模态逻辑；特别是，最小化正规模态逻辑 "K" 的定理，在所有克里普克模型中都是有效的。不幸的是，逆命题不是一般性成立的: 有克里普克不完备的正规模态逻辑。事实上这不是问题，因为实际中研究的多数模态系统关于由简单条件所描述的框架类是完备的。正规模态逻辑 "