描述主体互动有两个重要方面。一方面是认知动态,它描述的是主体互动过程中发生的信息事件以及主体的认知状态如何随着相关信息事件发生变化；另一方面是协议信息,它刻画的是在这个过程中什么样的信息事件能够发生。动态认知逻辑(DEL)用事件模型和乘积更新来刻画认知动态,认知时态逻辑(ETL)通过时间分支树型结构来描述协议信息。本文旨在介绍Johan van Benthem, Tomohiro Hoshi等人提出的一个既能刻画认知动态又可以描述协议信息的时态公开宣告逻辑系统(TPAL),探讨该系统的一些基本性质以及应用。文章的主体结构如下。第1章,分别讨论DEL和ETL的语言和语义以及它们描述主体互动的不同方式,并分析它们在描述主体互动时各自存在的优缺点。第2章,介绍Johan van Benthem关于融合DEL和ETL以生成一个既能够刻画认知动态又可以描述协议信息的模型的思想方法,并介绍一个定理对DEL和ETL的关系进行讨论。第3章,讨论在PAL生成的ETL模型上如何重新解释PAL语言,从而得到时态公开宣告逻辑系统TPAL,比较分析PAL与TPAL的关系,并介绍Johan van Benthem证明TPAL完全性的方法。第4章,介绍Tomohiro Hoshi以TPAL为工具对逻辑全知问题的分析,探讨TPAL的应用价值。