可能世界的名字

前言 章 可能世界的名字 一 模態(tài)邏輯背景 二 混合邏輯的理論意義 三 混合邏輯簡史 第二章 基本模態(tài)邏輯與時態(tài)邏輯 一 語言與邏輯 二 關(guān)系語義學(xué) 三 正規(guī)模態(tài)邏輯的公理系統(tǒng) 四 普通模態(tài)語言的表達(dá)能力 第三章 基本混合邏輯 一 基本混合語言 二 混合語言 三 混合邏輯 四 Ku@和Ku 第四章 一般完全性結(jié)果 第五章 混合時態(tài)邏輯 一 Past算子 二 時態(tài) 第六章 混合語言的擴(kuò)充 一 強(qiáng)力的模態(tài)詞 二 模態(tài)約束詞 第七章 可判定性、復(fù)雜性和內(nèi)插性 第八章 證明方法簡介 一 預(yù)備知識 二 加標(biāo)演繹 第九章 后承演算 一 后承演算SC 二 后承@-演算 三 非標(biāo)準(zhǔn)的后承演算 第十章 自然推演系統(tǒng) 一 普通自然推演系統(tǒng) 二 布勞納系統(tǒng) 第十一章 表列系統(tǒng) 一 混雜演算 二 @-演算 第十二章 消解證明 一 HyloRes 二 基于消解的自然推演系統(tǒng) 第十三章 混合的核證邏輯背景 二 基本混合核證邏輯 三 進(jìn)一步的問題 參考文獻(xiàn) 索引