Journal of Logic, Language and Information

, Volume 6, Issue 2, pp 147–169

Reasoning about Information Change

  • Jelle Gerbrandy
  • Willem Groeneveld

DOI: 10.1023/A:1008222603071

Cite this article as:
Gerbrandy, J. & Groeneveld, W. Journal of Logic, Language and Information (1997) 6: 147. doi:10.1023/A:1008222603071


In this paper we introduce Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system. Theinformation structures we use are based on non-well-founded sets, and canbe conceived as bisimulation classes of Kripke models. On these structures,we define a notion of information change that is inspired by UpdateSemantics (Veltman, 1996). We give a sound and complete axiomatization ofthe resulting logic, and we discuss applications to the puzzle of the dirtychildren, and to knowledge programs.

Dynamic logicepistemic logicinformation exchangenon-well-founded set theory

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Jelle Gerbrandy
    • 1
  • Willem Groeneveld
    • 1
  1. 1.Department of PhilosophyUniversity of AmsterdamAmsterdamthe Netherlands