模態模型論

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

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