A Preliminary Study On Temporal Public Announcement Logic

In describing muti-agent intelligent interaction,pubic announcement logic(PAL)concerns how agents' epistemie states change when true informatiom is publicly announced.Epistemic temporal logic(ETL)concerns what information events can take place in the course of agents' interaction.In this thesis,a logic system will be discussed——temporal pubic announcement logic,which can capture both two important ingredients and merges the semantic framework of pubic announcement logic and epistemic temporal logic.Part one:Pubic announcement logic,the prime example of dynamic epistemic logic(DEL), describes how agents' epistemic states change when true informatiom is publicly announced. Sequentially,epistemic temporal logic describes how knowledge evolves over time in some informational process and can straightforwardly capture relative communication constraints in various situations.Part two:Firstly,we introduce how can generate ETL-models from PAL and support a few examples.Secondly,we discuss the relation between PAL and ETL.Not all ETL models can be generated by a PAL protocol.In fact,such generated ETL-models have a numble of special properties.Part three:Temporal pubic announcement logic which merges the semantic framework of pubic announcement logic and epistemic temporal logic and assigns to each state in a given epistemic model a set of sequences of pubic announcements.But,TPAL can't reduce to PAL.So,the proof of completeness is a variant of the standard Henkin construction.The relation between TPAL and PAL is not immediately.Part four:I comment on the TPAL,and give some problems for further research in the future.