图书介绍

临界的传递逻辑 模态逻辑的濒表格性问题探究【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

临界的传递逻辑 模态逻辑的濒表格性问题探究
  • 杜珊珊，康宏逵著 著
  • 出版社： 北京：科学出版社
  • ISBN：9787030530813
  • 出版时间：2017
  • 标注页数：244页
  • 文件大小：28MB
  • 文件页数：251页
  • 主题词：模态逻辑－研究

PDF下载


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

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

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

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

图书目录

第一编 序篇3

第一章 背景知识一览3

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

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

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

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

第一节 孤例S540

第二节 走出孤例46

第三节NExtS4的简单性52

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

第二编 主篇73

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

第三章 点式归约初探76

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

参考文献187

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

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

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

索引231

后记238

热门推荐