This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow.Expand

We propose an extension of public announcement logic with dynamic modal operator that expresses what is true after any announcement: ⋄φ expresses that there is a truthful announcement ψ after which φ is true.Expand

We investigate intelligent interaction from the perspectives of epistemic dynamics and protocol information by developing a formal framework that represents the two perspectives.Expand

We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: □ϕ expresses what remains true after an arbitrary announcement ψ.Expand

We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL.Expand

This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic temporal logic (ETL).Expand

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics.Expand

Public announcement logic (PAL) is a paradigm case of dynamic epistemic logic, which models how agents’ epistemic states change when pieces of information are communicated publicly. PAL extends… Expand

We answer positively the open question of whether the set of schematic validities of multi-agent PAL and its extension PAL-RC with relativized common knowledge is decidable.Expand