Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Segerberg, Krister 2011. A Modal Logic of Metaphor. Studia Logica, Vol. 99, Issue. 1-3, p. 337.


    ×

SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION

  • KRISTER SEGERBERG (a1)
  • DOI: http://dx.doi.org/10.1017/S1755020309990384
  • Published online: 01 March 2010
Abstract

The success of the AGM paradigm—the theory of belief change initiated by Alchourrón, Gärdenfors, and Makinson—is remarkable, as even a quick look at the literature it has generated will testify. But it is also remarkable, at least in hindsight, how limited was the original effort. For example, the theory concerns the beliefs of just one agent; all incoming information is accepted; belief change is uniquely determined by the new information; there is no provision for nested beliefs. And perhaps most surprising: there is no analysis of iterated change.

In this paper it is that last restriction that is at issue. Our medium of study is dynamic doxastic logic (DDL). The success of the AGM paradigm The particular contribution of the paper is detailed completeness proofs for three dynamic doxastic logics of iterated belief revision.

The problem of extending the AGM paradigm to include iterated change has been discussed for years, but systematic discussions have appeared only recently (see Segerberg, 2007 and forthcoming, but also van Benthem, 2007; Rott, 2006; Zvesper, 2007).

Copyright
Corresponding author
PHILOSOPHY DEPARTMENT, BOX 627, S-751 26 UPPSALA, SWEDEN E-mail:krister.segerberg@filosofi.uu.se
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

J. van Benthem (2007). Dynamic logic of belief revision. Journal of Applied Non-Classical Logics, 17, 129155.

K. Segerberg (2001). The basic dynamic doxastic logic of AGM. In M.-A. Williams , and H. Rott , editors. Frontiers in Belief Revision, Vol. 22. Applied Logic Series, Dordrecht, The Netherlands: Kluwer, pp. 5784.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×