Journal of Logic, Language and Information

, Volume 6, Issue 2, pp 147-169

First online:

Reasoning about Information Change

  • Jelle GerbrandyAffiliated withDepartment of Philosophy, University of Amsterdam
  • , Willem GroeneveldAffiliated withDepartment of Philosophy, University of Amsterdam

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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 logic epistemic logic information exchange non-well-founded set theory