|
题名:
|
模态逻辑教程 / 文学锋编著 , |
|
ISBN:
|
978-7-03-068293-2 价格： CNY128.00 |
|
语种:
|
chi |
|
载体形态:
|
xiv, 383页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2021 |
|
内容提要:
|
本书以模态逻辑的基本概念、模型论、模态语言的表达力、完全性定理的证明为框架, 详细介绍了模态逻辑的基本概念和基本技术。本书分为四个部分, 第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义, 以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。相比目前其他的模态逻辑教材, 增加了直观说明的内容, 减少了部分高阶内容, 难易程度适中。 |
|
主题词:
|
模态逻辑 高等学校 |
|
中图分类法:
|
B815.1 版次： 5 |
|
主要责任者:
|
文学锋 编著 |