逻辑、信息和互动.pdf
本书是关于当今模态逻辑所研究的主要问题的一个论文集。全书展示了模态逻辑的发展历程，阐述了模态逻辑的数学理论。
刘奋
动态偏好逻辑.pdf
本书利用逻辑形式化的观点和方法，借助一阶逻辑和模态逻辑的语言，采用近年发展起来的动态认知逻辑的方法，为偏好和偏好的变化建立了逻辑模型，并对其进行了深入研究。
逻辑、认识论和方法论.pdf
本书探讨了语言与计算机逻辑相关的一些重要主题，研究了逻辑与认知科学的联系，表明“反心理学”的教条已经不复存在，逻辑理论与经验实践之间正在不断交换思想。