全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

模态逻辑教程 / 高等学校逻辑学专业系列教材/刘虎主编

￥128.00定价

作者：文学锋

出版时间：2023-01

出版社：科学出版社

以下为《模态逻辑教程》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：科学出版社
ISBN：9787030682932
版次：31
图书编号：429607
装帧：平装胶订
开本：B5
出版时间：2023-01
页数：404
中图分类编号：B815.1

内容简介

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