克里普克语义 编辑
克里普克语义是模态逻辑系统的形式语义，于 1950 年代晚期和 1960 年代早期由索尔·阿伦·克里普克建立。它后来为另一个非经典逻辑，最重要的直觉逻辑所接受。克里普克语义的发现是非经典逻辑开发中重大突破，因为这种逻辑的模型论在克里普克之前实际上是不存在的。
6
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]