模態(tài)邏輯中的典范問(wèn)題研究

第一章 緒論
第一節(jié) 預(yù)備知識(shí)
第二節(jié) 典范問(wèn)題研究簡(jiǎn)述
第三節(jié) 本書(shū)的內(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)典范公式的一個(gè)刻畫(huà)
第三節(jié) 初等的公式
第四節(jié) 初等典范的公式
第五節(jié) 薩奎斯特公式與歸納公式
第六節(jié) 薩奎斯特典范定理
第四章 法因定理與法因問(wèn)題
第一節(jié) 法因定理
第二節(jié) 初等完全與典范等價(jià)的邏輯
第三節(jié) 邏輯KM
第四節(jié) 一個(gè)典范但不初等的邏輯
第五章 典范邏輯的幾個(gè)側(cè)面
第一節(jié) 典范公理化
第二節(jié) 典范公理化的邏輯
第三節(jié) 具有有窮框架性的典范邏輯
第六章 代數(shù)角度看典范
第一節(jié) 代數(shù)與邏輯
第二節(jié) 對(duì)偶
第三節(jié) 法因定理的代數(shù)證明
參考文獻(xiàn)
索引
后記