Kripke Semantics

Definition / 释义

Kripke semantics（克里普克语义）：用于解释模态逻辑（如“必然/可能”）的一种语义框架。它用“可能世界”与“可达关系”来定义命题在不同世界中的真值，并据此刻画必然性（□）与可能性（◇）等模态算子。（在哲学与计算机科学中也常用于讨论知识、信念、义务等模态。）

Pronunciation / 发音

/ˈkrɪpki sɪˈmæntɪks/

Examples / 例句

Kripke semantics uses possible worlds.
克里普克语义使用可能世界来进行解释。

Using Kripke semantics, we can model necessity as truth in all accessible worlds from a given world.
借助克里普克语义，我们可以把“必然”建模为：在从某个世界可达的所有世界中都为真。

Etymology / 词源

“Kripke”来自美国哲学家与逻辑学家 Saul Kripke（索尔·克里普克） 的姓氏；“semantics”意为“语义学/语义”。该术语指由克里普克在20世纪提出并推广的一套形式语义方法，尤其用于模态逻辑与相关系统的解释与证明。

Related Words / 相关词

• Modal Logic
• Possible World
• Accessibility Relation
• Frame
• Model
• Necessity
• Possibility
• S5
• Bisimulation

Literary Works / 文学与著作举例

• Saul A. Kripke, Semantical Considerations on Modal Logic（1963）
• Saul A. Kripke, Naming and Necessity（1980；书中广泛使用“可能世界”等相关语义思想）
• Brian Chellas, Modal Logic: An Introduction（1980）
• Patrick Blackburn, Maarten de Rijke, Yde Venema, Modal Logic（2001）
• James W. Garson, Modal Logic for Philosophers（2006）