正规模态逻辑 在逻辑中正规模态逻辑是模态公式的集合 L displaystyle L  L displaystyle L 包含 所有命题重言式 所有满足 Kripke 模式的实例   A  B     A   B  displaystyle Box Ato Bto Box Ato Box B  并且 L displaystyle L 闭合于 分拆规则肯定前件 A  B  A  B displaystyle Arightarrow BAvdash B  必然性规则 从  A displaystyle vdash A 推出   A displaystyle vdash Box A  最小化的满足上述条件的逻辑叫做 K大多数如今常用的模态逻辑指有哲学动机的如C I 刘易斯的S与S皆为在K基础之上的扩展然而也有一部分如道义逻辑与认识逻辑是非正规的因为它们舍弃了Kripke模式