可能世界的名字

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