自上個世紀(jì)七十年代以來，模態(tài) 邏輯學(xué)與計算科學(xué)、語言學(xué)等學(xué)科相 交互，得到了越來越多的關(guān)注，對其 自身的理論研究也得到了充分的發(fā) 展，形成了以完全理論、對偶理論及 對應(yīng)理論為主要模塊的研究領(lǐng)域。典 范問題源于完全性理論，與對偶理 論、對應(yīng)理論及有窮模型性等研究方 向皆有密切關(guān)聯(lián)，在典范問題研究中 也發(fā)掘出了許多自然且深刻的概念與 方法。裘江杰編著的這本《模態(tài)邏輯中的典范問題研 究》分別從典范框架、微觀層面上的 公式、宏觀層面上的邏輯以及典范邏 輯的可典范公理化、有窮框架性及可 典范公理化的邏輯類等角度系統(tǒng)探討 了模態(tài)邏輯的典范性。
本書適合現(xiàn)代邏輯及相關(guān)專業(yè)的 研究人員和高校師生參考閱讀。
裘江杰編著的這本《模態(tài)邏輯中的典范問題研究》分為六章。第一章是緒論。第二章梳理了對典范問題最核心的概念——典范框架的研究，將探討典范框架的結(jié)構(gòu)、典范框架的擬模態(tài)理論以及典范框架上的拓?fù)浣Y(jié)構(gòu)等內(nèi)容。第三章從“微觀的層面”上研究典范性，從公式的層面上討論典范性及典范性與其他的性質(zhì)，主要是初等性的關(guān)系。第四章介紹法因定理與法因問題，它們從“宏觀的層面”來理解典范性。第五章則分別從可典范公理化、有窮框架性及可典范公理化邏輯類這三個角度研究典范性，可公理化與有窮框架性與邏輯的可判定性有密切的聯(lián)系。
第一章 緒論
第一節(jié) 預(yù)備知識
第二節(jié) 典范問題研究簡述
第三節(jié) 本書的內(nèi)容安排
第二章 典范框架
第一節(jié) 典范框架與邏輯
第二節(jié) 典范框架的結(jié)構(gòu)
第三節(jié) 模態(tài)框架的擬模態(tài)理論
第四節(jié) 模態(tài)框架的典范度
第五節(jié) 模態(tài)框架上的拓?fù)浣Y(jié)構(gòu)
第三章 典范的公式
第一節(jié) 典范的模態(tài)公式
第二節(jié) 強(qiáng)典范公式的一個刻畫
第三節(jié) 初等的公式
第四節(jié) 初等典范的公式 第一章 緒論
第一節(jié) 預(yù)備知識
第二節(jié) 典范問題研究簡述
第三節(jié) 本書的內(nèi)容安排
第二章 典范框架
第一節(jié) 典范框架與邏輯
第二節(jié) 典范框架的結(jié)構(gòu)
第三節(jié) 模態(tài)框架的擬模態(tài)理論
第四節(jié) 模態(tài)框架的典范度
第五節(jié) 模態(tài)框架上的拓?fù)浣Y(jié)構(gòu)
第三章 典范的公式
第一節(jié) 典范的模態(tài)公式
第二節(jié) 強(qiáng)典范公式的一個刻畫
第三節(jié) 初等的公式
第四節(jié) 初等典范的公式
第五節(jié) 薩奎斯特公式與歸納公式
第六節(jié) 薩奎斯特典范定理
第四章 法因定理與法因問題
第一節(jié) 法因定理
第二節(jié) 初等完全與典范等價的邏輯
第三節(jié) 邏輯KM
第四節(jié) 一個典范但不初等的邏輯
第五章 典范邏輯的幾個側(cè)面
第一節(jié) 典范公理化
第二節(jié) 典范公理化的邏輯
第三節(jié) 具有有窮框架性的典范邏輯
第六章 代數(shù)角度看典范
第一節(jié) 代數(shù)與邏輯
第二節(jié) 對偶
第三節(jié) 法因定理的代數(shù)證明
參考文獻(xiàn)
索引
后記
書單推薦
