What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability

@inproceedings{Balbiani2007WhatCW,
  title={What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability},
  author={Philippe Balbiani and Alexandru Baltag and Hans van Ditmarsch and Andreas Herzig and Tomohiro Hoshi and Tiago De Lima},
  booktitle={TARK},
  year={2007}
}
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: □ϕ expresses that ϕ is true after an arbitrary announcement ψ. As this includes the trivial announcement ⊤, one might as well say that □ϕ expresses what remains true after any… CONTINUE READING