模態模型論

模態邏輯的模型論。特別是指量詞模態邏輯即一階模態謂詞邏輯的模型論。它從屬於模態邏輯的三個主要研究方向，即公理學、語義學和代數學方向之一的語義學方向。模態邏輯的關係語義學(又稱關係模型論)一般公認是由S.A.克里普克開創的。

基本介紹

• 中文名：模態模型論
• 創立人：S.A.克里普克

概念創立

S.A.克里普克於1959年發表在《符號邏輯雜誌》上的題為《模態邏輯的一個完備性定理》一文中首先提出了關係模型（或稱關係語義解釋）的概念,並證明了帶量詞的S5（在該文中記為S5*）相對於該關係模型概念為完備的；稍後又接連發表幾篇論文對各種正規和非正規模態系統提出了相應的關係語義解釋，即關係模型概念。

歷史發展

如同許多重要的數學概念一樣。關係語義學的提出也並非克里普克一人的功勞。在他的前後若干年，有近10位邏輯學家彼此獨立地，正式或非正式地提出了相近的或略有不同的語義概念。其中值得一提的有S.坎格爾和K.J.J.欣蒂卡二人。欣蒂卡在1961年和1963年兩度提出的”模型集合“與克里普克的關係語義解釋有異曲同工之妙；而坎格爾則在1957年就正式提出了與克里普克的關係語義幾乎完全一樣的語義概念。只是所用術語不同而已。