刘奋

逻辑、认识论和方法论.pdf

本书探讨了语言与计算机逻辑相关的一些重要主题,研究了逻辑与认知科学的联系,表明“反心理学”的教条已经不复存在,逻辑理论与经验实践之间正在不断交换思想。

动态偏好逻辑.pdf

本书利用逻辑形式化的观点和方法,借助一阶逻辑和模态逻辑的语言,采用近年发展起来的动态认知逻辑的方法,为偏好和偏好的变化建立了逻辑模型,并对其进行了深入研究。

逻辑、信息和互动.pdf

本书是关于当今模态逻辑所研究的主要问题的一个论文集。全书展示了模态逻辑的发展历程,阐述了模态逻辑的数学理论。