Decomposition of multiple AGM contraction: possibility and impossibility results
2014 (English)In: Logic journal of the IGPL (Print), ISSN 1367-0751, E-ISSN 1368-9894, Vol. 22, no 4, 696-710 p.Article in journal (Refereed) Published
Partial meet contraction, the standard operation of contraction in AGM theory, can straightforwardly be generalized to contractions with sets of sentences instead of single sentences as inputs (multiple contraction). The conditions under which multiple contraction can be reconstructed as the intersection of several contractions by single sentences are investigated. Although such reconstruction is possible in some special cases, the major result is that in the general case, full reconstruction is not possible. Therefore, multiple contraction adds to the expressive power of belief revision theory. It is concluded that this result highlights the importance of studying multiple belief change, and multiple conclusion logic in general.
Place, publisher, year, edition, pages
2014. Vol. 22, no 4, 696-710 p.
belief change, belief revision, contraction, belief contraction, partial meet contraction, AGM, multiple contraction, package contraction, choice contraction
Algebra and Logic
IdentifiersURN: urn:nbn:se:kth:diva-150529DOI: 10.1093/jigpal/jzu014ISI: 000340066200010ScopusID: 2-s2.0-84904753373OAI: oai:DiVA.org:kth-150529DiVA: diva2:746282
QC 201409122014-09-122014-09-052014-09-12Bibliographically approved