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