文学锋的图书会按更新时间持续补充,适合从代表作和同主题书继续延展阅读。
模态逻辑教程
文学锋
评分 9.2分
《模态逻辑教程》按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二部分介绍了命题模态逻辑的关系语义、公理系统、表列系统和其他语义。第三部分介绍了模态逻辑的不变性理论、可定义性理论、有穷模型理论、高阶完全性的证明,以及邻域语义和代数语义。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。《模态逻辑教程》有大量的例子和练习,可供读