2013 (English)In: Journal of Philosophical Logic, ISSN 0022-3611, E-ISSN 1573-0433, Vol. 42, no 2, 415-442 p.Article in journal (Refereed) Published
Blockage contraction is an operation of belief contraction that acts directly on the outcome set, i.e. the set of logically closed subsets of the original belief set K that are potential contraction outcomes. Blocking is represented by a binary relation on the outcome set. If a potential outcome X blocks another potential outcome Y, and X does not imply the sentence p to be contracted, then Y not equal aEuro parts per thousand K A center dot p. The contraction outcome K A center dot p is equal to the (unique) inclusion-maximal unblocked element of the outcome set that does not imply p. Conditions on the blocking relation are specified that ensure the existence of such a unique inclusion-maximal set for all sentences p. Blockage contraction is axiomatically characterized and its relations to AGM-style operations are investigated. In a finite-based framework, every transitively relational partial meet contraction is also a blockage contraction.
Place, publisher, year, edition, pages
2013. Vol. 42, no 2, 415-442 p.
Blockage contraction, Blocking relation, Repertoire contraction, Outcome set, Partial meet contraction, AGM, Belief bases, Kernel contraction
IdentifiersURN: urn:nbn:se:kth:diva-121466DOI: 10.1007/s10992-012-9231-9ISI: 000316677000009ScopusID: 2-s2.0-84875442323OAI: oai:DiVA.org:kth-121466DiVA: diva2:619084
QC 201305022013-05-022013-04-292013-05-02Bibliographically approved