現(xiàn)代邏輯學講義

現(xiàn)代邏輯學講義：模態(tài)邏輯
　第1章 公理化系統(tǒng)
　 1 公理化系統(tǒng) 協(xié)調(diào)性 和諧性
　 2 初等系統(tǒng)
　 3 基本系統(tǒng)
　 4 退化系統(tǒng)
　 5 其他一些重要的系統(tǒng)
　第2章 強推演、一致性與極大一致性
　 1 強推演
　 2 s-一致性與極大性
　第3章 關(guān)系語義與可靠性定理
　 1 關(guān)系語義
　 2 對應定理
　 3 可靠性定理
　 4 反模型方法
　第4章 典范模型與完全性定理
　 1 完全性概念
　 2 典范模型及其基本定理
　 3 完全性定理
　 4 刻畫定理
　 5 kg（mn）/（jk）的刻畫定理
　第5章 有窮模型性與可判定性
　 1 有窮模型性與窮框架性
　 2 過濾有窮模型性
　 3 極小典范模型與有窮模型性
　 4 有模型性與可判定性
　 5 沒有有窮模型性的系統(tǒng)
　第6章 鄰域語義
　 1 領(lǐng)域語義
　 2 刻畫定理
　 3 過濾與有窮模型性
　 4 與關(guān)系主義的關(guān)系
　參考文獻
　后記
現(xiàn)代邏輯學講義：數(shù)理邏輯