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

定　價：￥45.00

作　者：	馬明輝著
出版社：	科學出版社
叢編項：
標　簽：	邏輯學

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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