临界的传递逻辑 模态逻辑的濒表格性问题探究PDF电子书下载

第一编 序篇 3

第一章 背景知识一览 3

第一节 逻辑K4及其正规扩充 3

第二节K4-逻辑的克里普克语义学 8

第三节 临界的传递逻辑——K4-逻辑格中的濒表格逻辑 36

第二章 历史的回顾：1940～1980年 40

第一节 孤例S5 40

第二节 走出孤例 46

第三节NExtS4的简单性 52

第四节 传递逻辑格NExtK4还在向我们挑战 59

第二编 主篇 73

引言——我们的目的和方法 73

第三章 点式归约初探 76

第一节 集式归约和点式归约 76

第二节 传递框架间的点式归约 79

第四章 传递逻辑格中有穷深度濒表格逻辑的语义判据 87

第一节 传递的濒表格逻辑的刻画框架 87

第二节AltN-颠覆子、AltN-反驳子和框架的濒表格性 92

第三节 有穷深度濒表格逻辑的语义判据 106

第五章 传递逻辑格中无穷深度濒表格逻辑的语义判据 122

第一节 刻画无穷深度濒表格逻辑的有穷框架类的规范化 122

第二节 刻画无穷深度濒表格逻辑的三类框架——收拢式既约框架、f°ω-风筝和f°ω-风筝 133

第三节 无穷深度濒表格逻辑的语义判据 138

第六章 濒表格逻辑语义判据的应用 149

第一节 麦金森分类法眼光下的模态逻辑Q4 149

第二节 濒表格逻辑的语义判据的应用——NExtQ4 153

第三节NExtS4、 NExtD4和NExtGL中濒表格逻辑的范形 161

第七章 从一种新观点看问题 165

第一节 传递的濒表格逻辑和它们的表格扩充 165

第二节 传递的濒表格逻辑的语义特征 170

参考文献 187

附录A论麦金森定理及其等价命题 192

附录B模态镜子里的反欧性 202

附录C一般框架和典范公式 217

索引 231

后记 238