分次模態(tài)語言的模型論

定　價：￥45.00

作　者：	馬明輝著
出版社：	科學(xué)出版社
叢編項：
標(biāo)　簽：	邏輯學(xué)

購買這本書可以去

ISBN：	9787030343925	出版時間：	2012-07-01	包裝：	平裝
開本：	16開	頁數(shù)：	194	字?jǐn)?shù)：

內(nèi)容簡介

　　《分次模態(tài)語言的模型論》是國家社科基地西南大學(xué)邏輯與智能研究中心教育部重大課題攻關(guān)項目“現(xiàn)代歸納邏輯的創(chuàng)新功能與應(yīng)用以及認知基礎(chǔ)”（05JZD0008）的研究成果之一。本書把經(jīng)典邏輯的這些結(jié)果推廣到分次模態(tài)邏輯，所展現(xiàn)的主要技術(shù)性結(jié)論都是新成果。該書可能需要的對象：高等院校哲學(xué)系或數(shù)學(xué)系邏輯教學(xué)和研究單位，全國社會科學(xué)和自然科學(xué)研究機構(gòu)中邏輯分支機構(gòu)，全國高等院校和研究機構(gòu)的圖書館。讀者面向研究和學(xué)習(xí)模態(tài)邏輯的專家學(xué)者和研究生。

作者簡介

暫缺《分次模態(tài)語言的模型論》作者簡介

圖書目錄

總序
前言
導(dǎo)論
第1章　計數(shù)模態(tài)語言
第2章　分次模態(tài)語言的關(guān)系語義學(xué)
第3章　分次模態(tài)余代數(shù)
第4章　公理系統(tǒng)和完全性
第5章　余代數(shù)對應(yīng)理論
第6章　有限模型性質(zhì)
第7章　公式的分類
第8章　分次模態(tài)邏輯的擴張
參考文獻
附錄A　模型論與泛代數(shù)
附錄B　基本模態(tài)邏輯
附錄C　余代數(shù)理論
后記