Announcements

The simplest informational event is one where indubitable information becomes available through a public announcement or a public observation. Technically, this reduces the current range of options that agents need to take into account in a manner that is transparent to all. The resulting system of public announcement logic is the simplest system of information flow, and it has become a pilot for subsequent work in dynamic-epistemic logic.

In terms of information, the structures used here are models for epistemic logic interpreted as giving the semantic information of agents. One may see this as a first approximation to the knowledge that agents can be said to have, though much more sophisticated analyses exist for knowledge in its ordinary and philosophical uses.


 

Basic papers

 

Historical source texts  
  • Jan Plaza. Logics of public communications. In Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, 201-216, Oak Ridge National Laboratory, 1989. Reprinted as Jan Plaza. Logics of public communications. Synthese, 158(2):165-179, 2007.
  • Jelle Gerbrandy, Willem Groeneveld. Reasoning about Information Change. Journal of Logic, Language, and Information, 6(2):147-196, 1997. Prepublication version available.

 

Further directions