在描述多主体间相互作用的过程中,公开宣告逻辑关注于在公开宣告发生后主体的认知状态如何改变;认知时态逻辑关注于在主体的相互作用中能够发生哪些信息事件。本文旨在讨论一个能刻画这两个方面的时态公开宣告逻辑系统TPAL,TPAL是结合公开宣告逻辑和认知时态逻辑而形成的逻辑系统。第一部分:首先讨论了公开宣告逻辑系统PAL,该系统是动态认知逻辑系统DEL的一种特殊情况,它能够刻画在公开宣告这种行为发生之后主体知识的变化。接着,讨论了认知时态逻辑系统ETL,该系统能够描述在一些信息化的过程中知识在时间进程上如何发展,能够对不同情景中的相关交流限制给出刻画。第二部分:首先在这部分讨论了如何从PAL生成ETL-模型,并给出实例予以说明。接着,讨论了PAL与ETL之间的关系,PAL协议并不能生成所有的认知模型。实际上,这种ETL模型具有一些特殊的性质,并得出一个典型的定理。第三部分:结合公开宣告逻辑系统和认知时态逻辑系统,将认知模型中的认知状态指派为公开宣告序列集,以讨论时态公开宣告逻辑系统TPAL。但是,TPAL并不能归约到PAL中,因此采用Henkin方法证明该系统是完全的。TPAL与PAL之间的关系不是很显然。第四部分:对TPAL做出评价,指出不足之出,并指明在未来需要进一步研究的问题。