正規模態邏輯

在邏輯中 ， 正規模態邏輯是模態公式的集合 ， 包含 所有命題重言式 ， 所有滿足 Kripke 模式的實例: ， 並且 閉合於 分拆規則 （ 肯定前件 ）: ， 必然性規則: 從 推出 。 最小化的滿足上述條件的邏輯叫做 K 。 大多數如今常用的模態邏輯 （ 指有哲學動機的 ） 如C. I. 劉易斯的S4與S5皆爲在K基礎之上的擴展 。 然而也有一部分如道義邏輯與認識邏輯是非正規的 ， 因爲它們捨棄了Kripke模式 。