上世纪中后期,芬兰哲学家、逻辑学家辛提卡在《知识与信念》一书中,在分析认知概念的基础上,建立了第一个认知逻辑形式系统。此后,认知逻辑从类模态的研究发展到了单主体、多主体,其对知识的刻画也逐渐涉及到了公共知识、共同知识、协同知识、分享知识等等。然而伴随认知逻辑日益受到计算机、经济学、博弈论以及人工智能等领域关注,其只能刻画静态场景状态的局限性日渐突出。于是,认知逻辑的动态化理论应运而生。动态化的认知逻辑可以很好地克服之前辛提卡型不能处理的知识与信念变化的不足,初步在逻辑上实现了对认知主体进行信息更新和信念变化的严格刻画。本文通过引介动态认知逻辑基础理论——公开宣告逻辑(public announcement logic)PAL,对卡片游戏和"泥孩难题"进行了以PAL为基础的动态分析,并在此基础上探析PAL的系统特征及其在处理信息更新上的技术细节。此外文章结合动态语言对现实案例进行考察,将其与不完全信息条件下因信念变化而造成的偏好变化相关联,进行更为细致的动态分析,所探讨的主要问题包括信息多样化问题以及对逻辑理论与现实实践之间的关系进行阐述。