第0章 預備知識
1 集閤論初步
2 句子邏輯初步
3 謂詞邏輯初步
第1章 一般缺省邏輯
1 經典句子邏輯中的單調推理規則
2 缺省推理與缺省理論的基本性質
3 缺省理論的擴張
4 缺省規則的良序化
5 弱擴張與部分擴張
6 量化邏輯
第2章 子缺省邏輯
1 正規缺省邏輯
2 半正規缺省邏輯
第3章 缺省邏輯的變種（上）
1 正當缺省邏輯
2 纍積缺省邏輯
3 析取缺省邏輯
第4章 缺省邏輯的變種（下）
1 優先缺省邏輯
2 約束缺省邏輯
3 閤理缺省邏輯
第5章 模態邏輯基礎與穩定理論
1 模態邏輯基礎
2 穩定理論
第6章 模態係統的膨脹理論
1 依賴語境的證明
2 S-膨脹及其基本性質
3 極小模型語義
4 相對反思的一緻性
5 S-膨脹的再認識
第7章 幾個重要的非單調模態邏輯
1 非單調邏輯N
2 非單調邏輯KD45和Sw5
3 自識邏輯
4 與單調模態邏輯的對應
5 對反思的限製
6 與缺省邏輯的互譯
第8章 限定邏輯
0 經典二階邏輯
1 直觀思想
2 謂詞限定邏輯
3 公式限定邏輯
4 二階限定邏輯
5 非遞歸的限定邏輯
6 個體域限定邏輯
7 逐點限定邏輯
參考文獻
後記
· · · · · · (收起)