When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05321.6
URN: urn:nbn:de:0030-drops-3376
Go to the corresponding Portal

van Ditmarsch, Hans

Belief change and dynamic logic

05321.VanDitmarschHans.Paper.337.pdf (0.2 MB)


In this paper we compare standard ways to perform belief change with attempts to model such change with dynamic modal operators. We address both belief expansion, belief contraction, belief revision, and update. Public announcement logic is an implementation of a belief expansion operator in a dynamic epistemic setting. The postulates of success and minimal change cannot be satisfied in their original AGM formulation. Dynamic doxastic logic provides various implementations of a belief revision operator in a dynamic epistemic setting. We provide an example of the application of such a dynamic doxastic semantics, which can also be seen as a realization of a proposal by Spohn.

The purpose of this paper is to provide an overview of different approaches to dynamic logics for belief change, including some of our own contributions to the area, in a way that is accessible to an interdisciplinary audience. It does not contain new technical results not published elsewhere. However, the comparison of different approaches provides, we hope, new insights not seen before. A final version of this paper may include new technical results.

BibTeX - Entry

  author =	{van Ditmarsch, Hans},
  title =	{{Belief change and dynamic logic}},
  booktitle =	{Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5321},
  editor =	{James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-3376},
  doi =		{10.4230/DagSemProc.05321.6},
  annote =	{Keywords: Belief revision, dynamic epistemic logic}

Keywords: Belief revision, dynamic epistemic logic
Collection: 05321 - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
Issue Date: 2005
Date of publication: 21.11.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI