-
-
- STIT逻辑的可判定性研究
-
- 作者：张炎|责编:任健敏
- 出版社：上海人民
- ISBN：9787208194700
-
售价：28.8
-
内容大纲
在逻辑学研究中，可判定性问题一直是一个重要的理论问题。本书在前人研究的基础上，进一步探索STIT逻辑的可判定性问题。主要成果包括：一、在假设单调性的要求下，证明了各种团体STIT逻辑的可判定性；二、对时态STIT逻辑的可判定性问题做出了实质性的推进；三、获得了一般性的可判定性结果，适用于结合多种模态算子的各种逻辑。在证明方法上，主要采用强有穷框架性和归约法，其中强有穷框架性通过子模型和滤模型相结合的技术实现，而归约法则借助拟模型和Rabin树理论完成。本书从STIT逻辑的基础知识出发，逐步探讨CSTIT逻辑ASTIT逻辑以及时态STIT逻辑的可判定性，最终拓展到一般性的可判定性结果。
本书合适从事模态逻辑研究的学者阅读，特别是研究时态逻辑和行动逻辑的学者，同时也可供逻辑学相关专业的学生学习和参考。
-
作者介绍
张炎，武汉大学哲学博士，现为中国人民大学哲学系教师。主要研究方向包括模态逻辑、哲学逻辑和非单调逻辑。在《逻辑学研究》、Studia Logica、The Review of Symbolic Logic 等国内外知名期刊发表学术论文数篇。现任学术兼职：现代逻辑学会常务理事、中国逻辑学会理事和北京逻辑学会理事。
-
目录
引言
第一章 STIT逻辑
1.1 分支时间框架
1.2 STIT框架
1.3 STIT算子间的逻辑关系
第二章 CSTIT逻辑
2.1 语法与语义
2.1.1 语法
2.1.2 标准语义
2.1.3 克里普克语义
2.2 两种语义的等价性
2.3 可判定性
2.3.1 子框架与子模型
2.3.2 滤模型
2.3.3 有穷框架性
第三章 ASTIT逻辑
3.1 语法和语义
3.1.1 语法
3.1.2 标准语义
3.1.3 简单语义
3.2 两种语义的等价性
3.3 拟模型
3.4 可判定性
第四章 时态STIT逻辑(一)
4.1 语法与语义
4.1.1 语法
4.1.2 标准语义
4.1.3 克里普克语义
4.2 两种语义之间的对应关系
4.2.1 从标准语义到克里普克语义
4.2.2 从克里普克语义到标准语义
4.3 框架长度强有穷性
4.4 可判定性
4.4.1 滤模型
4.4.2 互模拟与互拟商
4.4.3 强有穷框架性
第五章 时态STIT逻辑(二)
5.1 语法与语义
5.1.1 语法
5.1.2 语义
5.2 可数模型
5.3 拟模型
5.4 可判定性
5.4.1 Z-型Rabin树
5.4.2 拟模型到Z-型Rabin树的归约
第六章 一般逻辑
6.1 语法与语义
6.1.1 语法
6.1.2 语义
6.2 框架长度强有穷性
6.3 可判定性
6.3.1 滤模型
6.3.2 框架条件
6.3.3 强有穷框架性
6.4 应用
结语
致谢
参考文献
符号索引
名词索引
[
