模态逻辑pdf电子书版本下载

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

模态逻辑PDF格式电子书版下载

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

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

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

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

第一章 模态逻辑概述 1

1.1 模态逻辑 1

模态 1

E3+□？和E 3

模态命题和命题的模态形式 4

1.2 传统模态逻辑和现代模态逻辑 8

1.3 现代模态逻辑的内容与特点 13

习题 17

第二章 预备知识 19

2.1 逻辑学、逻辑和逻辑研究 19

2.2 逻辑和形式系统 21

2.3 古典命题逻辑，形式语言？P和古典命题演算P 26

古典命题逻辑和形式语言？P 27

？P的语义解释P－赋值和P－有效性 29

古典命题演算P 31

常用P－定理与导出规则 31

2.4 一阶逻辑形式语言？Q和一阶演算Q 33

一阶逻辑和一阶语言？Q 33

？Q－模型与？Q－模型类有效性 36

一阶演算Q 38

习题 39

3.1 模态命题逻辑 40

关于命题的模态形式与模态函项 40

第三章 模态命题演算 40

必然性与可能性 42

模态命题逻辑的一些直观原则 44

3.2 形式语言？PM 45

3.3 系统K 48

K与正规系统 48

K的定理与导出规则 49

3.4 系统D和T 56

系统D和T的基础 56

D的定理和导出规则 57

T的定理 58

S4定理和导出规则 59

S4和S5 59

3.5 系统S4，S5和系统B 59

S5定理 61

系统B 63

？PM的模态词 64

3.6 模态词与叠置模态词的归约 64

模态词的等价性 65

叠置模态词的归约 66

模态词的等价性与模态系统 67

3.7 K，D，T，S4，S5和B的一致性 69

3.8 系统Tr及模态系统的坍塌 72

一致性原则与模态系统 72

系统Tr 73

模态系统的坍塌 73

习题 76

第四章 可能世界语义学 79

4.1 可能世界语义学的基本思想 79

解释图和叠置模态词的语义分析 84

4.2 特征公理的语义分析 84

特征公理的语义分析 86

4.3 框架、模型和有效性 91

4.4 模态公式与一阶公式的对应 97

4.5 S－框架与φ-框架可靠性 100

4.6 反模型方法及其一些结果 104

习题 109

第五章 典范模型和完全性证明 111

5.1 完全性与完全性证明 111

完全性概念 111

完全性证明 113

5.2 完全性的Henkin证明 114

极大一致集 115

Henkin证明的基本思想 117

P－完全性的Henkin证明 117

5.3 典范模型与模型完全性 119

5.4 典范系统 124

习题 126

第六章 模态逻辑的各类系统 127

6.1 严格蕴涵系统S1—S5形式语言？PM 127

系统S1—S5 128

6.2 S1—S5的定理和语法性质 131

S1－定理和导出规则 131

S1的一些语法性质 131

S2－定理和导出规则 132

S3－定理与S3的语法性质 133

S4－定理与S4的语法性质 134

S5－定理 135

6.3 逻辑可推出性、逻辑必然性与刻画系统 136

6.4 模态系统P1—P5 138

P1—P5的基础 139

P1－定理 140

P2－定理与导出规则 141

P1—P5之间的关系 141

P1—P5与S1—S5的等价性 142

6.5 非正则系统S6，S7和S8 144

6.6 E－系统 148

E－系统E1—E5 149

E2的扩张 151

E3的扩张 152

E－必然性 152

习题 154

第七章 非正规系统的语义解释 156

7.1 非正规系统的直观语义分析 156

必然化规则与非正规世界 156

关于非正规世界的可及关系 158

赋值 159

有效性的取值范围 160

直观的框架和模型 161

7.2 形式语义框架、模型和有效性 162

E2和E3－框架 165

7.3 E2，E3，S2和S3－框架 165

E2+□？－框架 166

+□？2－框架 168

7.4 S6，S7和S8－框架 169

7.5 S0.5 －框架 171

7.6 统一解释（框架和有效性） 173

习题 176

第八章 模态谓词逻辑 177

8.1 模态谓词逻辑概述 177

8.2 形式语言？QM及其语义分析 178

语言？QM 178

？QM的语义分析 179

8.3 ？QM的形式语义框架、模型与有效性 183

框架与模型 183

有效性 187

φI－有效性 188

8.4 模态谓词演算QS+Bf 190

8.5 Henkin集和Q－完全性 193

8.6 QS+Bf的模型完全性和框架完全性 197

QS+Bf语义中的Henkin集 197

从属Henkin集的存在性 198

QS+Bf－典范模型及模型完全性 202

QS+Bf的框架完全性 203

8.7 模态词和量词 204

Barcan公式及其逆公式有效的语义条件 204

模态谓词演算QS 207

模态谓词演算Q°S 207

8.8 模态词和等词 209

附注 213

习题 214

参考文献 216

术语索引 219

符号索引 222