《非良基集、餘代數與模態邏輯研究》是我國學術界第一部關於集合論、餘代數與模態邏輯交叉研究的著作。首先，以非良基集合為語義結構對模態邏輯進行解釋，研究模態邏輯在集合論語義下的對應理論、可定義性及表達力等問題，取得了一些新的研究成果，豐富了集合論理論和邏輯理論。其次，把餘代數看做非良基集合的抽像數學模型，它作為對關繫語義學的推廣，著重研究餘代數模態邏輯。

史璟，女，1980年生，河南省鄭州市人。從2003年開始師從我國著名邏輯學家李娜教授研習現代邏輯，於2009年畢業於南開大學哲學學院，哲學博士，現為中央財經大學文化與傳媒學院副教授。主要從事符號邏輯、模態邏輯研究，著有《非良基集與模態邏輯》，在《哲學動態》《自然辯證法研究》和《邏輯學研究》等刊物上發表學術論文三十餘篇。

• 
• 
• 
• 

第1章 模態邏輯基礎
1．1 模態邏輯的句法和語義
1．2 模態對應理論
1．3 模型和框架構造
1．4 典範模型和完全性
1．5 有窮模型性質

第2章 非良基集合論基礎
2．1 集合論的基礎知識
2．2 良基集合與非良基集合
2．3 非良基集與循環現像
2．
2．5 集合與圖
2．6 平坦方程組
2．7 集合連續算子
2．8 不動點
2．9 集合上的互模擬關繫

第3章 反基礎公理
3．1 反基礎公理的基本形式
3．2 反基礎公理的模型
3．3 反基礎公理的變形
3．4 反基礎公理與餘代數

第4章 模態語言的集合語義
4．1 模態語言的解釋
4．2 互模擬與模態等價
4．3 模態可定義性
4．4 集合語義下的邏輯性質
4．5 餘代數與模態邏輯

第5章 餘代數邏輯及其應用
5．1 餘代數的例子
5．2 餘代數邏輯
5．3 餘代數邏輯中的推理
5．4 可判定性和復雜性
5．5 復合性

參考文獻