本書是我國學術界*部關于集合論、余代數與模態(tài)邏輯交叉研究的著作。首先,以非良基集合為語義結構對模態(tài)邏輯進行解釋,研究模態(tài)邏輯在集合論語義下的對應理論、可定義性及表達力等問題,取得了一些新的研究成果,豐富了集合論理論和邏輯理論。其次,把余代數看做非良基集合的抽象數學模型,它作為對關系語義學的推廣,著重研究余代數模態(tài)邏輯。
史?Z,副教授,邏輯學專業(yè)碩士研究生導師。中國邏輯學會、北京市邏輯學會會員。本科生課程:邏輯學; 碩士研究生課程:集合論、數理邏輯(雙語)、模態(tài)邏輯(雙語)、哲學邏輯、邏輯原著選讀、邏輯前沿講座。
●章 模態(tài)邏輯基礎
● 1.1 模態(tài)邏輯的句法和語義
● 1.2 模態(tài)對應理論
● 1.3 模型和框架構造
● 1.4 典范模型和完全性
● 1.5 有窮模型性質
●第2章 非良基集合論基礎
● 2.1 集合論的基礎知識
● 2.2 良基集合與非良基集合
● 2.3 非良基集與循環(huán)現象
● 2.4 本元
● 2.5 集合與圖
● 2.6 平坦方程組
● 2.7 集合連續(xù)算子
● 2.8 不動點
● 2.9 集合上的互模擬關系
●第3章 反基礎公理
● 3.1 反基礎公理的基本形式
● 3.2 反基礎公理的模型
● 3.3 反基礎公理的變形
●部分目錄