动态认知逻辑研究述评

摘要：

动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域.20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J.van Benthem首先提出用动态模态逻辑为信息变化提供模型,建议用动态算子来刻画事实的变化,从而宣告动态认知逻辑的产生.到目前,动态认知逻辑得到了快速发展,人们不仅深入地讨论了公共宣告、半公开宣告和秘密告知等行为,而且还研究了行为过程中的信息更新、信念修正,进一步为它们提供了结构模型与形式表达,建立了一系列的形式系统.

关键词：动态认知、逻辑逻辑推理、结构模型

所属期刊栏目：31

分类号：B815.3(逻辑学(论理学))

在线出版日期：2010-07-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：85-90,65