模態(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 練習

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

第五章 賦值和可滿足
5.1 賦值
5.2 基本可滿足關系
5.3 兩個例子和兩個結論
5.4 三種可滿足關系
5.5 模態(tài)代數(shù)的語義
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 練習

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

第十章 一般完全性結果
10.1 引言
10.2 一致集
10.3 極大一致集
10.4.典范結構和典范賦值
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 最左側和最右側的過濾
13.4 夾在最左側和最右側中間的過濾
13.5 分離結構
13.6 練習

第十四章 有窮模型性質
14.1 有窮模型性質（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 一個過濾結構
15.4 完全性結果
15.5 練習

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

參考答案
符號索引