●第一編序篇
●第一章背景知識一覽
●第一節邏輯K4及其正規擴充
●第二節K4—邏輯的克裡普克語義學
●第三節臨界的傳遞邏輯——K4—邏輯格中的瀕表格邏輯
●第二章歷史的回顧：1940～1980年
●第一節孤例S5
●第二節走出孤例
●第三節NExtS4的簡單性
●第四節傳遞邏輯格NExtK4還在向我們挑戰
●第二編主篇
●引言——我們的目的和方法
●第三章點式歸約初探
●第一節集式歸約和點式歸約
●第二節傳遞框架間的點式歸約
●第四章傳遞邏輯格中有窮深度瀕表格邏輯的語義判據
●第一節傳遞的瀕表格邏輯的刻畫框架
●第二節AltN—顛覆子、AltN—反駁子和框架的瀕表格性
●第三節有窮深度瀕表格邏輯的語義判據
●第五章傳遞邏輯格中無窮深度瀕表格邏輯的語義判據
●部分目錄

《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》詳述傳遞的瀕表格邏輯的判據及其應用，以及在此基礎上所做的關於瀕表格邏輯的若干研究結果，解決了傳遞邏輯格的瀕表格性的語義判據，以及傳遞邏輯格的子格NExtQ4中瀕表格邏輯族的基數、分類及公理化問題，展示了如何將已有的傳遞的瀕表格邏輯的結果納入《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》提出的方法和視野。《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》共分為三個部分——序篇、主篇和附錄。序篇介紹了背景知識，回顧了傳遞的瀕表格邏輯的研究發展史；主篇完整敘述了傳遞的瀕表格邏輯的語義判據的證明、應用過程及其他相關的研究結果；附錄給讀者提供了備查的相關知識。

    靠前編 序篇

    靠前章 背景知識一覽

    模態邏輯已經發展為一門大學科了。這個邏輯分支裡銖積寸累來的資料，也許還談不上浩如煙海，說它洋洋大觀怕是絕不會過分的。好在理解本書主旨所必需的背景知識並不多，也不深。而且，本書對背景知識的介紹力求詳細、淺顯，並配以圖和例進行說明，讓從未接觸過模態邏輯的讀者也能領會大意。如果讀者想更深入地把握某些背景知識，請參考兩位俄羅斯學者查格羅夫（A.Chagrov）和扎哈裡雅雪夫（M.Zakharyaschev）用英文編寫的有名教材《模態邏輯》。為了方便讀者，本書在各方面都盡可能與該書保持一致，在記法和作圖上也是如此。

   等