L的規範模型是克裏普克模型
& lt數學& gtx \；r \；Y & lt/math & gt；當且僅當所有公式
& lt數學& gtX \ Vdash A & lt/math & gt；惟壹可能是
規範模型的主要應用是完備性證明。例如，K的典範模型的性質直接暗示了K關於所有Kripke框架類的完備性。這個論證不適合任意L，因為不能保證規範模型的底層框架滿足L的框架條件。
我們說壹個公式或壹組公式X關於Kripke的壹個性質P是規範的，如果
x在所有滿足p的幀中都有效，
對於任何包含x的正規模態邏輯l，l的規範模型的底層框架滿足p。
顯然，標準公式集的並集本身就是標準的。根據前面的討論，由標準公式集公理化的任何邏輯都是Kripke完備和緊致的。t，4，D，B，5，H，G(以及它們的任意組合)都是規範的。GL和Grz不規範，因為它們不緊湊。公理M本身是不規範的(Goldblatt，1991)，但是組合邏輯S4.1(其實連K4.1)是規範的。
壹般來說，壹個給定的公理是否規範是不可判定的。但是我們知道壹個很好的充分條件:H. Sahlqvist確定了下面的廣義公式(現在稱為Sahlqvist公式)。
Sahlqvist公式是規範性的，
對應於Sahlqvist公式的框架類是壹階可定義的，
對於給定的Sahlqvist公式，有壹種算法可以計算相應的幀條件。
這是壹個非常有力的標準；例如，上面列出的規範的所有公理實際上都是(等價於)Sahlqvist公式。