《模态逻辑》：模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础，作为一门课程，它是逻辑学专业的基础课之一。本讲义介绍了句子层次上（命题型的）模态逻辑*基本的内容。
本讲义内容多，知识面广，定理定义表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。
《数理逻辑》：数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础，作为一门课程，它是逻辑学专业*重要的基础课。
数理逻辑分两大部分：句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。
本讲义内容丰富，知识面广，表达严谨，习题例题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。

现代逻辑学讲义：模态逻辑
第1章 公理化系统
1 公理化系统 协调性 和谐性
2 初等系统
3 基本系统
4 退化系统
5 其他一些重要的系统
第2章 强推演、一致性与极大一致性
1 强推演
2 S-一致性与极大性
第3章 关系语义与可靠性定理
1 关系语义
2 对应定理
3 可靠性定理
4 反模型方法
第4章 典范模型与完全性定理
1 完全性概念
2 典范模型及其基本定理
3 完全性定理
4 刻画定理
5 KG（mn）/（jk）的刻画定理
第5章 有穷模型性与可判定性
1 有穷模型性与穷框架性
2 过滤有穷模型性
3 极小典范模型与有穷模型性
4 有模型性与可判定性
5 没有有穷模型性的系统
第6章 邻域语义
1 领域语义
2 刻画定理
3 过滤与有穷模型性
4 与关系主义的关系
参考文献
后记
现代逻辑学讲义：数理逻辑