动态认知逻辑研究述评

摘要

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