书名页 版权页 序 目录页 引言 第一章 公理集合论 第一节 集合论的公理 第二节 序数 第三节 基数 第四节 选择公理 第五节 正则公理 第二章 非良基集合 第一节 良基集合和非良基集合 第二节 非良基集的研究历史和现状 第三节 非良基集与循环现象 第四节 本元 第五节 集合与图 第六节 集合与方程组的解 第七节 集合上的互模拟关系 第三章 模态逻辑 第一节 模态逻辑的句法和语义 第二节 模态对应理论 第三节 模型和框架构造 第四节 典范模型和完全性 第五节 有穷模型性质 第四章 模态逻辑的集合论语义 第一节 框架、模型与集合 第二节 模态公式的集合论解释 第三节 模态语言与集合论语言 第四节 集合运算与保持 第五节 互模拟与模态等价 第五章 集合的模态可定义性 第一节 使用模态公式刻画集合 第二节 有穷模态语言与单个集合的刻画 第三节 使用集合类对模态公式分类 第四节 一些刻画结果 第六章 模态逻辑的元逻辑性质 第一节 完全性 第二节 有穷加标图性质和可判定性质 第三节 集合论语义与元逻辑性质 第七章 余代数与模态逻辑 第一节 范畴论基础 第二节 非良基集合的模型 第三节 余代数模态逻辑 第四节 余代数的应用 参考文献 后记 ..更多