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

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

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

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

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

本书主要介绍有关知识、信念的形式化描述及其应用的逻辑理论，充分反映了国外在认知逻辑研究领域所取得的成就，不但介绍了较为成熟的信念逻辑、断定逻辑，而且给出了认知非单调推理、认知缺省推理以及一些广义认知逻辑理论,最后讨论了认知逻辑在通信协议、规划行动、多主体分布式系统以及认识哲学中的应用等问题。

《哲学逻辑导论·第三版》是一部介绍语言哲学研究成果的导论性学术著作，较为全面、系统地介绍了现代西方语言哲学研究的一系列重要问题，出版30多年来英文版销售已超过20万册，被诸多英美大学广泛采用，是学习逻辑学、语言哲学、分析哲学的爱选教材之一。