Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Multiple and iterated contraction reduced to single-step single-sentence contraction
KTH, School of Architecture and the Built Environment (ABE), Philosophy.ORCID iD: 0000-0003-0071-3919
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
Humanities
Identifiers
URN: urn:nbn:se:kth:diva-19194DOI: 10.1007/s11229-009-9688-4ISI: 000274387700003Scopus ID: 2-s2.0-77349083219OAI: oai:DiVA.org:kth-19194DiVA: diva2:337241
Note
QC 20110210Available from: 2010-08-05 Created: 2010-08-05 Last updated: 2017-12-12Bibliographically 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
Philosophy
In the same journal
Synthese
Humanities

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 23 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf