uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Some completeness theorems in the dynamic doxastic logic of iterated belief revision
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Arts, Department of Philosophy.
2010 (English)In: The Review of Symbolic Logic, ISSN 1755-0203, Vol. 3, no 2, 228-246 p.Article in journal (Refereed) Published
Abstract [en]

The success of the AGM paradigm-the theory of belief change initiated by Alchourron, Gardenfors, and Makinson-is remarkable, as even a quick look at the literature it has generated will testify.(1) 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).(2)

Place, publisher, year, edition, pages
2010. Vol. 3, no 2, 228-246 p.
National Category
URN: urn:nbn:se:uu:diva-136253DOI: 10.1017/S1755020309990384ISI: 000278948200002OAI: oai:DiVA.org:uu-136253DiVA: diva2:376588
Available from: 2010-12-11 Created: 2010-12-11 Last updated: 2010-12-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text
By organisation
Department of Philosophy

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 125 hits
ReferencesLink to record
Permanent link

Direct link