Change search
ReferencesLink to record
Permanent link

Direct link
Multiple and iterated contraction reduced to single-step single-sentence contraction
KTH, School of Architecture and the Built Environment (ABE), Philosophy.
2010 (English)In: Synthese, ISSN 0039-7857, E-ISSN 1573-0964, Vol. 173, no 2, 153-177 p.Article in journal (Refereed) Published
Abstract [en]

Multiple contraction (simultaneous contraction by several sentences) and iterated contraction are investigated in the framework of specified meet contraction (s.m.c.) that is extended for this purpose. Multiple contraction is axiomatized, and so is finitely multiple contraction (contraction by a finite set of sentences). Two ways to reduce finitely multiple contraction to contraction by single sentences are introduced. The reduced operations are axiomatically characterized and their properties are investigated. Furthermore, it is shown how iterated contraction can be reduced to single-step, single-sentence contraction. However, in this framework the outcome of iterated contraction depends unavoidably on the order in which the inputs are received. This order-dependence makes it impossible to treat two inputs on an equal footing. Therefore it is often preferable to perform changes involving several pieces of information as multiple rather than iterated change.

Place, publisher, year, edition, pages
2010. Vol. 173, no 2, 153-177 p.
Keyword [en]
Multiple contraction, Iterated contraction, Belief change, Partial meet, contraction, Full meet contraction, Specified meet contraction, Sentential selector, Selector, belief revision, logic
National Category
URN: urn:nbn:se:kth:diva-19194DOI: 10.1007/s11229-009-9688-4ISI: 000274387700003ScopusID: 2-s2.0-77349083219OAI: diva2:337241
QC 20110210Available from: 2010-08-05 Created: 2010-08-05 Last updated: 2011-02-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
In the same journal

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: 12 hits
ReferencesLink to record
Permanent link

Direct link