关系语义维基百科,自由的 encyclopedia 克里普克语义(也叫做关系语义或框架语义,并经常混淆于可能世界语义)是模态逻辑系统的形式语义,于 1950 年代晚期和 1960 年代早期由索尔·阿伦·克里普克建立。它后来为另一个非经典逻辑,最重要的直觉逻辑所接受。克里普克语义的发现是非经典逻辑开发中重大突破,因为这种逻辑的模型论在克里普克之前实际上是不存在的。
克里普克语义(也叫做关系语义或框架语义,并经常混淆于可能世界语义)是模态逻辑系统的形式语义,于 1950 年代晚期和 1960 年代早期由索尔·阿伦·克里普克建立。它后来为另一个非经典逻辑,最重要的直觉逻辑所接受。克里普克语义的发现是非经典逻辑开发中重大突破,因为这种逻辑的模型论在克里普克之前实际上是不存在的。