![模态逻辑](http://image12.bookschina.com/2020/20200928/1/6836747.jpg)
模态逻辑
1星价
¥6.8
(3.4折)
2星价¥6.8
定价¥20.0
![](http://o.bookschina.com/images/ling.png?id=01)
温馨提示:5折以下图书主要为出版社尾货,大部分为全新(有塑封/无塑封),个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>
暂无评论
图文详情
- ISBN:9787310047604
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:32开
- 页数:253
- 出版时间:2015-02-01
- 条形码:9787310047604 ; 978-7-310-04760-4
内容简介
《南开哲学教材系列:模态逻辑》介绍以经典的命题逻辑为基础的模态命题逻辑。《南开哲学教材系列:模态逻辑》具有三个重要特征:简明扼要;在单模态语言的基础上,引入和使用多模态语言;介绍了一些模态逻辑中目前比较流行的概念和方法,如:加标转移结构、互模拟等。
目录
序
**章 命题逻辑概述
1.1 命题语言
1.2 二值的语义学
1.3 证明论
1.4 完全性
1.5 练习
第二章 基本模态语言
2.1 引言
2.2 基本模态语言
2.3 模态公式K,D和T
2.4 模态公式4,5和B
2.5 模态逻辑K,D和T
2.6 模态逻辑S4,S5和B
2.7 练习
第三章 多模态语言
3.1 多模态语言
3.2 一些特殊的公式
3.3 代入
3.4 子公式
3.5 练习
第四章 加标转移结构
4.1 加标转移结构
4.2 四个例子
4.3 模态代数
4.4 一些对应关系
4.5 菱形算子
4.6 练习
第五章 赋值和可满足
5.1 赋值
5.2 基本可满足关系
5.3 两个例子和两个结论
5.4 三种可满足关系
5.5 模态代数的语义
5.6 练习
第六章 一些对应结果
6.1 一些例子
6.2 一些汇合的性质及例子
6.3 一些非汇合的性质
6.4 练习
第七章 一般的汇合结果
7.1 一些约定
7.2 结构的性质
7.3 公式集
7.4 一般的汇合结果
7.5 练习
第八章 三种语义后承
8.1 三种语义后承
8.2 存在问题
8.3 练习
第九章 形式系统
9.1 形式系统
9.2 一些单模态系统
9.3 一些多模态系统
9.4 可靠性
9.5 练习
第十章 一般完全性结果
10.1 引言
10.2 一致集
10.3 极大一致集
10.4.典范结构和典范赋值
10.5 评述
10.6 练习
第十一章 克里普克.完全性
11.1 克里普克.完全性
11.2 一些典范系统
11.3 汇合诱导的完全性
11.4 练习
第十二章 互模拟
12.1 态射
12.2 Z-字形态射
12.3 互模拟
12.4 *大的互模拟
12.5 一个匹配层
12.6 一类例子
12.7 分层的语义等价性
12.8 练习
第十三章 过滤
13.1 引言
13.2 具有典范性的基础集
13.3 *左侧和*右侧的过滤
13.4 夹在*左侧和*右侧中间的过滤
13.5 分离结构
13.6 练习
第十四章 有穷模型性质
14.1 有穷模型性质(fmp)的定义
14.2 经典系统的一个特征
14.3 基本时间系统具有fmp
14.4 练习
第十五章 一个非典范的形式系统
15.1 形式系统SLL
15.2 SLL的特征
15.3 一个过滤结构
15.4 完全性结果
15.5 练习
第十六章 一个不具有fmp的典范系统
16.1 一个标准系统
16.2 系统的特征性
16.3 典范性
16.4 有穷模型性
16.5 练匀
参考答案
符号索引
**章 命题逻辑概述
1.1 命题语言
1.2 二值的语义学
1.3 证明论
1.4 完全性
1.5 练习
第二章 基本模态语言
2.1 引言
2.2 基本模态语言
2.3 模态公式K,D和T
2.4 模态公式4,5和B
2.5 模态逻辑K,D和T
2.6 模态逻辑S4,S5和B
2.7 练习
第三章 多模态语言
3.1 多模态语言
3.2 一些特殊的公式
3.3 代入
3.4 子公式
3.5 练习
第四章 加标转移结构
4.1 加标转移结构
4.2 四个例子
4.3 模态代数
4.4 一些对应关系
4.5 菱形算子
4.6 练习
第五章 赋值和可满足
5.1 赋值
5.2 基本可满足关系
5.3 两个例子和两个结论
5.4 三种可满足关系
5.5 模态代数的语义
5.6 练习
第六章 一些对应结果
6.1 一些例子
6.2 一些汇合的性质及例子
6.3 一些非汇合的性质
6.4 练习
第七章 一般的汇合结果
7.1 一些约定
7.2 结构的性质
7.3 公式集
7.4 一般的汇合结果
7.5 练习
第八章 三种语义后承
8.1 三种语义后承
8.2 存在问题
8.3 练习
第九章 形式系统
9.1 形式系统
9.2 一些单模态系统
9.3 一些多模态系统
9.4 可靠性
9.5 练习
第十章 一般完全性结果
10.1 引言
10.2 一致集
10.3 极大一致集
10.4.典范结构和典范赋值
10.5 评述
10.6 练习
第十一章 克里普克.完全性
11.1 克里普克.完全性
11.2 一些典范系统
11.3 汇合诱导的完全性
11.4 练习
第十二章 互模拟
12.1 态射
12.2 Z-字形态射
12.3 互模拟
12.4 *大的互模拟
12.5 一个匹配层
12.6 一类例子
12.7 分层的语义等价性
12.8 练习
第十三章 过滤
13.1 引言
13.2 具有典范性的基础集
13.3 *左侧和*右侧的过滤
13.4 夹在*左侧和*右侧中间的过滤
13.5 分离结构
13.6 练习
第十四章 有穷模型性质
14.1 有穷模型性质(fmp)的定义
14.2 经典系统的一个特征
14.3 基本时间系统具有fmp
14.4 练习
第十五章 一个非典范的形式系统
15.1 形式系统SLL
15.2 SLL的特征
15.3 一个过滤结构
15.4 完全性结果
15.5 练习
第十六章 一个不具有fmp的典范系统
16.1 一个标准系统
16.2 系统的特征性
16.3 典范性
16.4 有穷模型性
16.5 练匀
参考答案
符号索引
展开全部
本类五星书
浏览历史
本类畅销
-
厚黑学(九品)
¥21.8¥68.0 -
北大人文课(平装)
¥22.0¥45.0 -
断代(八品)
¥13.9¥42.0 -
落洼物语
¥9.9¥28.0 -
西洋镜:中国屋脊兽(八品)
¥37.0¥88.0 -
钳工工艺与技能训练
¥31.5¥45.0 -
毛泽东思想和中国特色社会主义理论体系概论
¥17.5¥25.0 -
习近平总书记教育重要论述讲义
¥11.2¥35.0 -
美学原理(第二版)(本科教材)
¥25.6¥36.5 -
刑法学(上册·总论)
¥34.3¥49.0 -
基础会计
¥7.5¥22.0 -
概率论与数理统计
¥28.1¥39.0 -
信息技术选择性必修4
¥5.8¥10.5 -
护理质量与安全管理
¥59.9¥79.8 -
宠物微生物与免疫
¥44.5¥50.0 -
兽医实验室诊断
¥37.4¥42.0 -
畜牧场兽医体系建设与管理
¥49.0¥55.0 -
宠物病理
¥47.2¥53.0 -
全球传播
¥73.9¥88.0 -
互联网企业运营管理
¥59.3¥69.8