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

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一编 序篇 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