20世纪80年代中后期，动态认知逻辑开始兴起。它的最基本的概念就是“动态化”和“认知”；相应地，刻画这两个概念的算子就分别被称为动作算子和认知算子。动态认知逻辑旨在为信息变化提供一套形式化的处理方法，刻画主体之间在交流过程中因信息变化而引起主体的知识变化和知识更新的过程。动态认知语言是在原来的静态认知逻辑的基础上，借鉴动态逻辑的基本想法，把动作算子引入到认知语言中，动作算子和认知算子在语言中并存。　　　本文旨在通过简单介绍动态认知逻辑的发展历程以及动态认知逻辑的理论体系，进而重点关注动态认知逻辑应用于认知谜题方面的研究，即用动态认知逻辑的理论为一系列认知谜题提供一套形式化的分析方法和解决策略。我们的目的并不在于一劳永逸地、非常完美地为这些认知谜题提供所谓的标准答案，这里只是试图从一种新的视角来解析这些谜题。文中最后强调的是动态认知逻辑的应用价值以及研究价值，以及将动态认知逻辑与其它逻辑结合起来发展的可能性和重要性。论文的内容大致是这样安排的：第一章主要概述动态认知逻辑的发展历史，介绍认知逻辑和动态逻辑的相关背景和理论知识；将认知逻辑与动态逻辑有机结合起来，从而引出动态认知逻辑的研究发展历史。第二章主要介绍典型的动态认知逻辑系统，包括公开宣告逻辑PAL、引入公共知识的公开宣告逻辑PAL-C以及相对化公共知识的动态认知逻辑PAL-RC，简单展示了这些逻辑系统的语言、语义和公理系统。第三章则是从前面两章的理论知识出发，用动态认知逻辑的理论来分析认知谜题，这些谜题包括泥孩谜题、纸牌游戏、和积之谜以及考试悖论等，我们在文中尝试为这些认知谜题提供一套形式化的处理方法和解决方案。第四章则是对前三章的总结，并对未来的研究发展方向提出了一些建议与设想。

Recently Dynamic epistemic logic (DEL) is considered a new branch of logic, which sprang up since the middle of the 1980s. The operators to characterize its most basic and important concept –“dynamic” and “epistemic” –are called action operators and epistemic operators. DEL aims to provide formal methods for change of information and to demonstrate the process about the updating of agents’ information owing to the change of information in the communication. Based on static epistemic logic, DEL uses the main idea of dynamic logic for reference and introduce action operators to the original epistemic language, which leads to the interaction of the action operators and epistemic operators in the DEL language.　　　Through introduction of the development and the theoretical system of DEL, this thesis mainly attaches importance to the study on application to epistemic puzzles, which means to provide a set of formal analysis methods and strategies to solve a series of epistemic puzzles with the theory of DEL. The purpose here is not to provide the so-called standard solutions for them, but to give a new perspective on explaining those puzzles. At last, what the thesis emphasizes is the theoretical and practical values of DEL, and the significance of combining it with other logics.　　　The article is organized as follows. Chapter one presents a brief survey of the development of DEL, relevant background about the epistemic logic and dynamic logic. Combination between dynamic logic and epistemic logic will bring up the researching process of DEL. Chapter two mainly introduces several typical DEL systems, including public announcement logic(PAL), PAL-C with the common knowledge and PAL-RC with relativized common knowledge. Then syntax, semantics and axiomatization of those systems are demonstrated respectively as well. Chapter three applies the theory of DEL to analyze some epistemic puzzles, including the muddy children puzzle, a kind of card games, the puzzle of Mr.S and Mr.P and the surprise exam paradox, which will provide some formal explanations to analyze those epistemic puzzles with the help of DEL. As the conclusion part of the whole thesis, chapter four also provides some interesting issues for the further research.