有对典范模型的底层"框架"满足 "L" 的框架条件的担保。我们说一个公式或公式的集合 "X" 关于克里普克的一个性质 "P" 是典范的，如果明显的，公式的典范集合的并集自身是典范的。服从前面的讨论，由公式的典范集合公理化的任何逻辑是克里普克完备的和紧致的。公理 "T"、"4"、"D"、"B"、"5"、"H"、"G"(和它们的任意组合)都是典范的。"GL" 和 "Grz" 不是典范的，因为他们不是紧凑的。公理 "M" 自身不是规范的(Goldblatt, 1991)，但是组合的逻辑 "S4.1"(事