动态认知逻辑是在认知逻辑的基础上，增加了动态行为算子，认知算子和动态行为算子共同起作用，从而对信息及信息变化进行形式化处理的逻辑理论。
　　 1989年，普莱赞(Plaza)建立了第一个动态认知逻辑--公开宣告逻辑(PulicAnnouncement Logic)，以后的许多动态认知逻辑都是以公开宣告逻辑为基础进行扩充得到的。
　　 公开宣告是一种比较简单的认知行为，它是向所有的主体传达同样的信息，从而引起主体信息的变化。更复杂的认知行为是向不同的主体传达不同的信息，如文中纸牌游戏中的耳语、放桌上、展示等行为。
　　 论文首先简单介绍动态动态认知逻辑产生、发展过程。语言和哲学领域的信息变化的研究（主要体现在格罗恩迪克和斯托浩夫的著作中）、计算机领域的动态逻辑的发展、哲学家、语言学家、计算机学家对交流的研究、处理信息变化的信念修正理论的发展、范本特姆和普莱赞两人的开创性工作推动了动态认知逻辑的产生和发展。
　　 其次，介绍动态认知逻辑的理论基础：认知逻辑和动态逻辑。认知逻辑使用模态逻辑的方法，使用了知识算子和信念算子。动态逻辑中的程序算子可以作为我们理解动态认知逻辑中行为算子的依据。
　　 介绍公开宣告逻辑的时候，以股票投资人和纸牌游戏的例子，进入对简单认知行为的探讨。公开宣告逻辑是以S5为基础，加入了宣告算子[φ]ψ，扩充了一些公理。
　　 介绍认知行为和行为模型的时候，仍然会使用股票投资人和纸牌游戏的例子来分析复杂的认知行为引起的信息变化。