正常模態邏輯
編輯在邏輯學中，正常模態邏輯是一個模態公式的集合L，使得L包含。所有命題同義詞；克里普克模式的所有實例：?(A→B)→(?A→?B){displaystyle盒子(AtoB)to(BoxAto盒子B)}。并且它是封閉的。脫離規則（modusponens）：A→B，A∈L{displaystyleAtoB,AinL}意味著滿足上述條件的最小的邏輯被稱為K。大多數現在常用的模態邏輯（就有哲學動機而言），例如C.I.Lewis的S4和S5，是正常的（因此是K的擴展）。然而，一些行為邏輯和認識論邏輯，例如，是非正常的，通常是因為它們放棄了克里普克模式。每個正常的模態邏輯都是有規律的，因此也是經典的。
常見的正常模態邏輯
編輯下表列出了幾個常見的正常模態系統。符號指的是克里普克語義學§常見模態公理模式的表格。一些系統的框架條件被簡化了：就表中給出的框架類而言，這些邏輯是健全和完整的，但它們可能對應于更大的框架類。
內容由匿名用戶提供，本內容不代表www.gelinmeiz.com立場，內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載，請注明出處：http://www.gelinmeiz.com/171302/