《模态逻辑教程》文学锋 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值128元）【高清非扫描版】

《模态逻辑教程》文学锋 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值128元）【高清非扫描版】

图书简介：

本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。书中有大量的例子和练习，可供读者更好地理解相关知识。