图书介绍
模态逻辑PDF|Epub|txt|kindle电子书版本网盘下载
- 李娜编著 著
- 出版社： 天津：南开大学出版社
- ISBN：9787310047604
- 出版时间：2015
- 标注页数：253页
- 文件大小：19MB
- 文件页数：263页
- 主题词：模态逻辑－高等学校－教材
PDF下载
下载说明
模态逻辑PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 命题逻辑概述1
1.1 命题语言2
1.2 二值的语义学3
1.3 证明论6
1.4 完全性8
1.5 练习11
第二章 基本模态语言13
2.1 引言13
2.2 基本模态语言14
2.3 模态公式K,D和T14
2.4 模态公式4,5和B15
2.5 模态逻辑K,D和T15
2.6 模态逻辑S4,S5和B18
2.7 练习20
第三章 多模态语言21
3.1 多模态语言22
3.2 一些特殊的公式24
3.3 代入25
3.4 子公式27
3.5 练习28
第四章 加标转移结构30
4.1 加标转移结构30
4.2 四个例子32
4.3 模态代数33
4.4 一些对应关系37
4.5 菱形算子40
4.6 练习42
第五章 赋值和可满足44
5.1 赋值44
5.2 基本可满足关系46
5.3 两个例子和两个结论47
5.4 三种可满足关系51
5.5 模态代数的语义54
5.6 练习58
第六章 一些对应结果64
6.1 一些例子64
6.2 一些汇合的性质及例子67
6.3 一些非汇合的性质71
6.4 练习74
第七章 一般的汇合结果80
7.1 一些约定80
7.2 结构的性质81
7.3 公式集85
7.4 一般的汇合结果86
7.5 练习87
第八章 三种语义后承89
8.1 三种语义后承89
8.2 存在问题91
8.3 练习92
第九章 形式系统95
9.1 形式系统95
9.2 一些单模态系统100
9.3 一些多模态系统105
9.4 可靠性107
9.5 练习110
第十章 一般完全性结果115
10.1 引言115
10.2 一致集116
10.3 极大一致集118
10.4 典范结构和典范赋值122
10.5 评述125
10.6 练习126
第十一章 克里普克-完全性127
11.1 克里普克-完全性127
11.2 一些典范系统128
11.3 汇合诱导的完全性131
11.4 练习134
第十二章 互模拟136
12.1 态射136
12.2 Z-字形态射137
12.3 互模拟139
12.4 最大的互模拟142
12.5 一个匹配层143
12.6 一类例子145
12.7 分层的语义等价性147
12.8 练习150
第十三章 过滤153
13.1 引言153
13.2 具有典范性的基础集155
13.3 最左侧和最右侧的过滤156
13.4 夹在最左侧和最右侧中间的过滤158
13.5 分离结构160
13.6 练习162
第十四章 有穷模型性质166
14.1 有穷模型性质（fmp）的定义166
14.2 经典系统的一个特征168
14.3 基本时间系统具有fmp176
14.4 练习179
第十五章 一个非典范的形式系统181
15.1 形式系统SLL181
15.2 SLL的特征184
15.3 一个过滤结构186
15.4 完全性结果189
15.5 练习190
第十六章 一个不具有fmp的典范系统194
16.1 一个标准系统194
16.2 系统的特征性195
16.3 典范性196
16.4 有穷模型性197
16.5 练习199
参考答案201
符号索引250