模態(tài)邏輯

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

第二章 基本模態(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 練習(xí)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

參考答案
符號(hào)索引