Gerbrandy, Jelle; Groeneveld, Willem Reasoning about information change. (English) Zbl 0873.03029 J. Logic Lang. Inf. 6, No. 2, 147-169 (1997). Summary: We introduce Dynamic Epistemic Logic, which is a logic for reasoning about information change in a multi-agent system. The information structures we use are based on non-well-founded sets, and can be conceived as bisimulation classes of Kripke models. On these structures, we define a notion of information change that is inspired by Update Semantics [F. Veltman, J. Philos. Log. 25, 221-261 (1996; Zbl 0860.03025)]. We give a sound and complete axiomatization of the resulting logic, and we discuss applications to the puzzle of the dirty children, and to knowledge programs. Cited in 2 ReviewsCited in 91 Documents MSC: 03B60 Other nonclassical logic 68T27 Logic in artificial intelligence 03B45 Modal logic (including the logic of norms) Keywords:non-well-founded set theory; Dynamic Epistemic Logic; logic for reasoning about information change in a multi-agent system; information structures; bisimulation classes of Kripke models; Update Semantics; axiomatization; puzzle of the dirty children; knowledge programs Citations:Zbl 0860.03025 PDFBibTeX XMLCite \textit{J. Gerbrandy} and \textit{W. Groeneveld}, J. Logic Lang. Inf. 6, No. 2, 147--169 (1997; Zbl 0873.03029) Full Text: DOI