123,123

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書目錄

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