图书介绍

模态逻辑导论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

（美）切莱士（Chellas，B.F.）著；郑文辉，张宜生译著
出版社：广州：中山大学出版社
ISBN：7306001647
出版时间：1989
标注页数：353页
文件大小：10MB
文件页数：366页
主题词：

PDF下载

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

点击复制MD5值：e97fd49085b26f64c66b0996532f10e6

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

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

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

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

图书目录

第一部分3

第1章导言3

1.1 真值和可能世界4

练习14

1.2 系统S518

练习27

第2章逻辑预备32

2.1 句法32

练习41

2.2 模型，真值和有效性43

练习50

2.3 过滤54

练习56

2.4 模态逻辑系统59

练习64

2.5 可公理化性66

练习69

2.6 极大性和林登堡姆引理69

练习76

2.7 可靠性、完全性和典型模型77

练习79

2.8 可判定性和有限模型性质81

练习83

第二部分87

第3章模态逻辑的标准模型87

3.1 标准模型88

练习92

3.2 模式D,T,B,4和599

练习106

3.3 模式Gk,l,m,n111

练习117

3.4 生成模型122

练习127

3.5 过滤130

练习135

3.6 过滤续论137

练习145

第4章正规模态逻辑系统147

4.1 正规系统148

练习157

4.2 替换和对偶161

练习168

4.3 模式D,T,B,4和5169

练习180

4.4 模态189

练习198

4.5 正规系统中的极大集201

练习204

第5章正规系统的确定和可判定性206

5.1 可靠性206

练习210

5.2 模态结语214

练习215

5.3 完全性：基本定理217

练习220

5.4 确定221

练习227

5.5 KGk,l,m,n230

练习232

5.6 可判定性234

练习237

第6章义务逻辑238

6.1 标准义务逻辑238

练习240

6.2 进一步的原则241

练习243

6.3 义务和时间244

练习248

6.4 过去时义务248

练习250

6.5 不足251

练习253

第三部分257

第7章模态逻辑的极小模型257

7.1 极小模型257

练习261

7.2 模式M,C和N266

练习271

7.3 增广273

练习277

7.4 模式D,T,B,4和5277

练习279

7.5 过滤282

练习285

第8章经典模态逻辑系统288

8.1 经典系统288

练习291

8.2 单调系统和正则系统291

练习299

8.3 其他模式304

练习306

第9章经典系统的确定和可判定性308

9.1 可靠性308

练习310

9.2 完全性：基本定理313

练习316

9.3 确定318

练习322

9.4 模式D,T,B,4和5323

练习325

9.5 可判定性326

练习327

第10章条件逻辑330

10.1 条件性330

练习333

10.2 条件义务335

练习338

10.3 定义的条件义务339

练习340

参考文献精选342

术语表346

译后记353