×

Reasoning about information change. (English) Zbl 0873.03029

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.

MSC:

03B60 Other nonclassical logic
68T27 Logic in artificial intelligence
03B45 Modal logic (including the logic of norms)

Citations:

Zbl 0860.03025
PDFBibTeX XMLCite
Full Text: DOI