图书介绍

模态对应理论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

约翰·范·本特姆著著
出版社：北京：科学出版社
ISBN：9787030278654
出版时间：2010
标注页数：250页
文件大小：12MB
文件页数：263页
主题词：模态逻辑－文集

PDF下载

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

点击复制MD5值：5c0bcdbda18e49da9981abcb87a6e4e0

下载说明

模态对应理论PDF格式电子书版下载

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

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

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

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

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

图书目录

丛书序1

作者序2

译者序5

前言7

上篇模态逻辑和经典逻辑引言4

记号和术语7

第一部分模态命题逻辑的简要概述7

1 历史背景12

2 可能世界语义16

3 可定义性27

4 模态代数40

5 公理化理论45

6 完全性50

第二部分模态公式的一阶可定义性50

7 局部的和全局的一阶可定性60

8 一阶可定义性的模型论刻画67

9 代入方法73

10 否证一阶可定义性85

11 相对的一阶可定义性94

12 模态谓词逻辑101

13 模态公式的保持类106

第三部分模态可定义性106

14 模态可定义的初等框架类112

15 一阶公式的保持结果118

16 模态可定义的框架类135

第四部分高阶可定义性135

17 全称二阶语句144

18 二阶逻辑159

19 有穷类型论168

参考文献172

下篇模态对应理论新进展172

1 极小谓词、不动点和可定义性179

2 模态框架对应和不动点199

3 事情总要翻过来看!219

附录232

附录一约翰·范本特姆小传232

附录二英汉/汉英专业术语、人名对照表236

致谢249