STIT逻辑的可判定性研究

图书信息

作者：张炎著著

出版社：上海人民出版社

定价：72.00

ISBN：9787208194700

出版时间：2025-06-01

分类：图书,社科经管,哲学宗教,逻辑伦理学

商品介绍

目录

引言

第一章 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有穷框架性

……

内容简介

在逻辑学研究中，可判定性问题一直是一个重要的理论问题。本书在前人研究的基础上，进一步探索 STIT 逻辑的可判定性问题。主要成果包括:一、在假设单调性的要求下，证明了各种团体 STIT 逻辑的可判定性;二、对时态 STIT 逻辑的可判定性问题做出了实质性的推进;三、获得了一般性的可判定性结果，适用于结合多种模态算子的各种逻辑。在证明方法上，主要采用强有穷框架性和归约法，其中强有穷框架性通过子模型和滤模型相结合的技术实现，而归约法则借助拟模型和Rabin 树理论完成。本书从 STIT 逻辑的基础知识出发，逐步探讨 CSTIT 逻辑ASTIT 逻辑以及时态 STIT 逻辑的可判定性，最终拓展到一般性的可判定性结果。

本书合适从事模态逻辑研究的学者阅读，特别是研究时态逻辑和行动逻辑的学者，同时也可供逻辑学相关专业的学生学习和参考。

作者简介

张炎

武汉大学哲学博士，现为中国人民大学哲学系教师。主要研究方向包括模态逻辑、哲学逻辑和非单调逻辑。在《逻辑学研究》、Studia Logica、The Review of Symbolic Logic 等国内外知名期刊发表学术论文数篇。现任学术兼职：现代逻辑学会常务理事、中国逻辑学会理事和北京逻辑学会理事。