《现代逻辑学讲义:数理逻辑+模态逻辑(套装共2册)》包括：《模态逻辑(现代逻辑学讲义)》、《数理逻辑(现代逻辑学讲义)》2本。 《模态逻辑》：模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础，作为一门课程，它是逻辑学专业的基础课之一。本讲义介绍了句子层次上（命题型的）模态逻辑最基本的内容。 本讲义内容多，知识面广，定理定义表

现代逻辑学讲义（两册）

条件句逻辑是哲学逻辑的一个重要分支，是对（狭义）模态逻辑的重要发展。它的主要目的在于刻画关于虚拟条件句、直陈条件句和正常条件句的推理。本书系统阐述了条件句逻辑的基本概念、基本方法、重要成果及其恰当性理论。为了便于读者理解，本书对条件句逻辑的基本概念、方法以及表述重要成果所需的引理和定理给予详细的证明、必要的分析和比较。本书可以作为逻辑学、哲学、人工智能以及相关领域的科研人员的参考书，也可作为