Reasoning about Information Change
- Cite this article as:
- Gerbrandy, J. & Groeneveld, W. Journal of Logic, Language and Information (1997) 6: 147. doi:10.1023/A:1008222603071
- 123 Downloads
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.