临界的传递逻辑-模态逻辑的濒表格性问题研究

**编 序篇 **章 背景知识一览 3 **节 逻辑K4及其正规扩充 3 第二节 K4-逻辑的克里普克语义学 8 第三节 临界的传递逻辑——K4-逻辑格中的濒表格逻辑 36 第二章 历史的回顾：1940～1980年 40 **节 孤例S5 40 第二节 走出孤例 46 第三节 NExtS4的简单性 52 第四节 传递逻辑格NExtK4还在向我们挑战 59 第二编 主篇 引言——我们的目的和方法 73 第三章 点式归约初探 76 **节 集式归约和点式归约 76 第二节 传递框架间的点式归约 79 第四章 传递逻辑格中有穷深度濒表格逻辑的语义判据 87 **节 传递的濒表格逻辑的刻画框架 87 第二节 Alt N-颠覆子、Alt N-反驳子和框架的濒表格性 92 第三节 有穷深度濒表格逻辑的语义判据 106 第五章 传递逻辑格中无穷深度濒表格逻辑的语义判据 122 **节 刻画无穷深度濒表格逻辑的有穷框架类的规范化 122 第二节 刻画无穷深度濒表格逻辑的三类框架——收拢式既约框架、*-风筝和*-风筝 133 第三节 无穷深度濒表格逻辑的语义判据 138 第六章 濒表格逻辑语义判据的应用 149 **节 麦金森分类法眼光下的模态逻辑Q4 149 第二节 濒表格逻辑的语义判据的应用——NExtQ4 153 第三节 NExtS4、NExtD4和NExtGL中濒表格逻辑的范形 161 第七章 从一种新观点看问题 165 **节 传递的濒表格逻辑和它们的表格扩充 165 第二节 传递的濒表格逻辑的语义特征 170 参考文献 187 附录A 论麦金森定理及其等价命题 192 附录B 模态镜子里的反欧性 202 附录C 一般框架和典范公式 217 索引 231 后记 238