南开哲学教材系列：模态逻辑

图书标准信息

• 作者 李娜 著
• 出版社 南开大学出版社
• 出版时间 2015-02
• 版次 1
• ISBN 9787310047604
• 定价 20.00元
• 装帧 平装
• 开本 32开
• 纸张 胶版纸
• 页数 253页
• 字数 236千字
• 正文语种 简体中文
• 丛书 南开哲学教材系列

【内容简介】

　　《南开哲学教材系列：模态逻辑》介绍以经典的命题逻辑为基础的模态命题逻辑。《南开哲学教材系列：模态逻辑》具有三个重要特征：简明扼要；在单模态语言的基础上，引入和使用多模态语言；介绍了一些模态逻辑中目前比较流行的概念和方法，如：加标转移结构、互模拟等。

【目录】

序
第一章命题逻辑概述
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.2Z-字形态射
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.2SLL的特征
15.3一个过滤结构
15.4完全性结果
15.5练习

第十六章一个不具有fmp的典范系统
16.1一个标准系统
16.2系统的特征性
16.3典范性
16.4有穷模型性
16.5练匀

参考答案
符号索引