图书介绍

分次模态语言的模型论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

马明辉著著
出版社：北京：科学出版社
ISBN：9787030343925
出版时间：2012
标注页数：195页
文件大小：10MB
文件页数：207页
主题词：模态逻辑

PDF下载

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

点击复制MD5值：64ef091c74c3849f2ba06f31df1592dc

下载说明

分次模态语言的模型论PDF格式电子书版下载

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

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

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

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

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

图书目录

导论1

第1章计数模态语言5

1.1模态逻辑的语义视角5

1.2计数模态语言6

1.3构造模型和框架的基本方法9

1.4分次模态逻辑17

第2章分次模态语言的关系语义学21

2.1模型和框架构造22

2.2分次超滤扩张与饱和25

2.3模型和框架可定义性32

2.4范本特姆-罗森刻画定理40

2.5 GML和FOL（C）之间的框架对应44

第3章分次模态余代数47

3.1分次模态语言的余代数语义47

3.2分次模态代数61

3.3分次模态代数与余代数之间的对偶65

3.4有限余代数和余代数模型的可定义性67

3.5 GML的泛余代数73

第4章公理系统和完全性80

4.1分次正规模态逻辑80

4.2典范余代数模型83

4.3一些完全的逻辑86

4.4代数完全性与典范性94

4.5 GML的嵌人定理95

第5章余代数对应理论101

5.1弱二阶逻辑与翻译101

5.2无变元公式与统一公式105

5.3分次萨奎斯特对应定理107

5.4非分次萨奎斯特公式112

5.5萨奎斯特完全性定理115

第6章有限模型性质117

6.1过滤模型117

6.2 NExt（Kg42）中子余代数逻辑123

6.3Kg43的典范公式134

6.4正规分次模态格NExt（KgAltn）142

第7章公式的分类146

7.1Ω模拟与正存在公式146

7.2点Ω子模型保持148

7.3 GML的Chang-Los-Suszko定理151

7.4保序与正公式152

7.5子框架保持154

第8章分次模态逻辑的扩张164

8.1分次全通模态词164

8.2分次异点算子168

8.3无限基数的模态逻辑172

8.4 GML的Lindstrom定理175

参考文献179

附录A模型论与泛代数184

附录B基本模态逻辑189

附录C余代数理论193

后记195