關係語義

克里普克語義 是模態邏輯系統的形式語義 ， 於 1950 年代晚期和 1960 年代早期由索爾 · 阿倫 · 克里普克建立 。 它後來爲另一個非經典邏輯 ， 最重要的直覺邏輯所接受 。 克里普克語義的發現是非經典邏輯開發中重大突破 ， 因爲這種邏輯的模型論在克里普克之前實際上是不存在的 。