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