目錄
第一編 序篇
第一章 背景知識一覽 3
第一節(jié) 邏輯K4及其正規(guī)擴(kuò)充 3
第二節(jié) K4-邏輯的克里普克語義學(xué) 8
第三節(jié) 臨界的傳遞邏輯——K4-邏輯格中的瀕表格邏輯 36
第二章 歷史的回顧：1940～1980年 40
第一節(jié) 孤例S5 40
第二節(jié) 走出孤例 46
第三節(jié) NExtS4的簡單性 52
第四節(jié) 傳遞邏輯格NExtK4還在向我們挑戰(zhàn) 59
第二編 主篇
引言——我們的目的和方法 73
第三章 點(diǎn)式歸約初探 76
第一節(jié) 集式歸約和點(diǎn)式歸約 76
第二節(jié) 傳遞框架間的點(diǎn)式歸約 79
第四章 傳遞邏輯格中有窮深度瀕表格邏輯的語義判據(jù) 87
第一節(jié) 傳遞的瀕表格邏輯的刻畫框架 87
第二節(jié) Alt N-顛覆子、Alt N-反駁子和框架的瀕表格性 92
第三節(jié) 有窮深度瀕表格邏輯的語義判據(jù) 106
第五章 傳遞邏輯格中無窮深度瀕表格邏輯的語義判據(jù) 122
第一節(jié) 刻畫無窮深度瀕表格邏輯的有窮框架類的規(guī)范化 122
第二節(jié) 刻畫無窮深度瀕表格邏輯的三類框架——收攏式既約框架、*-風(fēng)箏和*-風(fēng)箏 133
第三節(jié) 無窮深度瀕表格邏輯的語義判據(jù) 138
第六章 瀕表格邏輯語義判據(jù)的應(yīng)用 149
第一節(jié) 麥金森分類法眼光下的模態(tài)邏輯Q4 149
第二節(jié) 瀕表格邏輯的語義判據(jù)的應(yīng)用——NExtQ4 153
第三節(jié) NExtS4、NExtD4和NExtGL中瀕表格邏輯的范形 161
第七章 從一種新觀點(diǎn)看問題 165
第一節(jié) 傳遞的瀕表格邏輯和它們的表格擴(kuò)充 165
第二節(jié) 傳遞的瀕表格邏輯的語義特征 170
參考文獻(xiàn) 187
附錄A 論麥金森定理及其等價(jià)命題 192
附錄B 模態(tài)鏡子里的反歐性 202
附錄C 一般框架和典范公式 217
索引 231
后記 238