图书介绍
可能世界的名字PDF|Epub|txt|kindle电子书版本网盘下载
- 刘新文，祝瑞著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：9787516199626
- 出版时间：2017
- 标注页数：162页
- 文件大小：16MB
- 文件页数：177页
- 主题词：逻辑学
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
可能世界的名字PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 可能世界的名字1
一 模态逻辑背景1
二 混合逻辑的理论意义5
三 混合逻辑简史9
第二章 基本模态逻辑与时态逻辑12
一 语言与逻辑12
二 关系语义学14
三 正规模态逻辑的公理系统17
四 普通模态语言的表达能力19
第三章 基本混合逻辑24
一 基本混合语言24
二 混合语言25
三 混合逻辑27
四K H@和KH28
第四章 一般完全性结果32
第五章 混合时态逻辑38
一Past算子38
二 时态40
第六章 混合语言的扩充42
一 强力的模态词42
二 模态约束词45
第七章 可判定性、复杂性和内插性56
第八章 证明方法简介59
一 预备知识59
二 加标演绎61
第九章 后承演算66
一 后承演算SC67
二 后承@-演算73
三 非标准的后承演算77
第十章 自然推演系统82
一 普通自然推演系统85
二 布劳纳系统93
第十一章 表列系统100
一 混杂演算101
二@-演算104
第十二章 消解证明109
一HyLoRes111
二 基于消解的自然推演系统114
第十三章 混合的核证逻辑128
一背景128
二基本混合核证逻辑129
三进一步的问题144
参考文献145
索引159