模态对应理论.pdf
本书分为模态逻辑与经典逻辑、模态对应理论新进展两部分，内容包括：模态命题逻辑的简要概述、模态公示的一阶可定义性、模态可定义性等。
刘新文
形式逻辑要现代化——家龙师谈逻辑.pdf
本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告，分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题，下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。
烧旺理性的火焰——约翰谈逻辑.pdf
2006～2011年，清华大学刘奋荣教授主持了范本特姆教授的论文和著作的翻译工作，以“逻辑之门”为题，分四卷陆续出版。每一卷译著出版之后，著译者们都举办交流活动，然后以书面形式安排一次学术访谈。这些访谈涉及范本特姆教授在数理逻辑、哲学逻辑、逻辑思想史、逻辑应用、逻辑哲学等领域的主
逻辑、语言和认知.pdf
本书探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。