分次模態語言的模型論

《分次模態語言的模型論》是2012年科學出版社出版的圖書，作者是馬明輝。

基本介紹

• 書名：分次模態語言的模型論
• 作者：馬明輝
• 出版社：科學出版社
• 出版時間：2012-07

內容簡介

本書給出了分次模態邏輯的余代數語義，研究余代數結構類在分次模態語言中的可定義性問題；探討了余代數語義下分次模態邏輯與弱二階邏輯的對應理論，以及分次模態公式的分類和幾個擴張表達力的語言；此外，在關係語義學下，還給出了結構類的可定義性定理。

圖書目錄

總序

前言

導論

第1章 計數模態語言

第2章 分次模態語言的關係語義學

第3章 分次模態余代數

第4章 公理系統和完全性

第5章 余代數對應理論

第6章 有限模型性質

第7章 公式的分類

第8章 分次模態邏輯的擴張

參考文獻

附錄A 模型論與泛代數

附錄B 基本模態邏輯

附錄C 余代數理論

後記