北京市社会科学理论著作出版基金资助出版 本书在阐述抽象理论的同时，注意给出较详细的解释与说明，包括对一些“非常基本的”概念和问题的解释与说明，适用于文科类读者。

北京市社会科学理论著作出版基金资助出版 本书在阐述抽象理论的同时，注意给出较详细的解释与说明，包括对一些“非常基本的”概念和问题的解释与说明，适用于文科类读者。

《模态逻辑教程》按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二部分介绍了命题模态逻辑的关系语义、公理系统、表列系统和其他语义。第三部分介绍了模态逻辑的不变性理论、可定义性理论、有穷模型理论、高阶完全性的证明，以及邻域语义和代数语义。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。《模态逻辑教程》有大量的例子和练习，可供读者更好地理解相关知识。

《模态逻辑教程》按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二部分介绍了命题模态逻辑的关系语义、公理系统、表列系统和其他语义。第三部分介绍了模态逻辑的不变性理论、可定义性理论、有穷模型理论、高阶完全性的证明，以及邻域语义和代数语义。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。《模态逻辑教程》有大量的例子和练习，可供读者更好地理解相关知识。

周祯祥，湖北武汉人，华南师范大学行政学院教授，逻辑学博士生导师，主要研究方向为模态逻辑和西方逻辑史。

《逻辑导论》是在作者多年逻辑学教学与研究的基础上写成的。《逻辑导论》的体系和内容充分体现了现代逻辑的观念和成果，同时又保留了传统逻辑的有用知识。《逻辑导论》以语言分析、逻辑演算、合情推理、有效论证与合理论辩为框架，介绍逻辑学的基本理论与方法，并且结合实例、案例与练习阐述这些理论与方法的实际运用，以帮助学生掌握逻辑思维的方法与技能。《逻辑导论》力求内容充实、重点突出、简明扼要、通俗易懂，便于学生学习、理解和掌握，以适应逻辑学教学的需要。