STIT 逻辑的可判定性研究

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