模態(tài)邏輯

序
第一章 命題邏輯概述
1.1 命題語言
1.2 二值的語義學
1.3 證明論
1.4 完全性
1.5 練習

第二章 基本模態(tài)語言
2.1 引言
2.2 基本模態(tài)語言
2.3 模態(tài)公式K，D和T
2.4 模態(tài)公式4，5和B
2.5 模態(tài)邏輯K，D和T
2.6 模態(tài)邏輯S4，S5和B
2.7 練習

第三章 多模態(tài)語言
3.1 多模態(tài)語言
3.2 一些特殊的公式
3.3 代入
3.4 子公式
3.5 練習

第四章 加標轉(zhuǎn)移結(jié)構(gòu)
4.1 加標轉(zhuǎn)移結(jié)構(gòu)
4.2 四個例子
4.3 模態(tài)代數(shù)
4.4 一些對應關(guān)系
4.5 菱形算子
4.6 練習

第五章 賦值和可滿足
5.1 賦值
5.2 基本可滿足關(guān)系
5.3 兩個例子和兩個結(jié)論
5.4 三種可滿足關(guān)系
5.5 模態(tài)代數(shù)的語義
5.6 練習

第六章 一些對應結(jié)果
6.1 一些例子
6.2 一些匯合的性質(zhì)及例子
6.3 一些非匯合的性質(zhì)
6.4 練習

第七章 一般的匯合結(jié)果
7.1 一些約定
7.2 結(jié)構(gòu)的性質(zhì)
7.3 公式集
7.4 一般的匯合結(jié)果
7.5 練習

第八章 三種語義后承
8.1 三種語義后承
8.2 存在問題
8.3 練習

第九章 形式系統(tǒng)
9.1 形式系統(tǒng)
9.2 一些單模態(tài)系統(tǒng)
9.3 一些多模態(tài)系統(tǒng)
9.4 可靠性
9.5 練習

第十章 一般完全性結(jié)果
10.1 引言
10.2 一致集
10.3 極大一致集
10.4.典范結(jié)構(gòu)和典范賦值
10.5 評述
10.6 練習

第十一章 克里普克.完全性
11.1 克里普克.完全性
11.2 一些典范系統(tǒng)
11.3 匯合誘導的完全性
11.4 練習

第十二章 互模擬
12.1 態(tài)射
12.2 Z-字形態(tài)射
12.3 互模擬
12.4 最大的互模擬
12.5 一個匹配層
12.6 一類例子
12.7 分層的語義等價性
12.8 練習

第十三章 過濾
13.1 引言
13.2 具有典范性的基礎集
13.3 最左側(cè)和最右側(cè)的過濾
13.4 夾在最左側(cè)和最右側(cè)中間的過濾
13.5 分離結(jié)構(gòu)
13.6 練習

第十四章 有窮模型性質(zhì)
14.1 有窮模型性質(zhì)（fmp）的定義
14.2 經(jīng)典系統(tǒng)的一個特征
14.3 基本時間系統(tǒng)具有fmp
14.4 練習

第十五章 一個非典范的形式系統(tǒng)
15.1 形式系統(tǒng)SLL
15.2 SLL的特征
15.3 一個過濾結(jié)構(gòu)
15.4 完全性結(jié)果
15.5 練習

第十六章 一個不具有fmp的典范系統(tǒng)
16.1 一個標準系統(tǒng)
16.2 系統(tǒng)的特征性
16.3 典范性
16.4 有窮模型性
16.5 練勻

參考答案
符號索引