"C"="Mod(L)"。换句话说，"C" 是 "L" 关于 "C" 是可靠的最大的框架类；随后 "L" 是克里普克完备的当且仅当它关于它所对应的类是完备的。作为一个例子，考虑模式 "T" : formula_1"A" → "A"。"T" 在任何自反的框架 <"W","R"> 中是有效的: 如果 "w" formula_21"A"，则 "w" formula_6"A"，因为 "w" "R" "w"。在另一方面，使 "T" 有效的框架必须是自反的: 固定 "w" ∈"W"，并定义命题变量 "p" 的满足