Change search
ReferencesLink to record
Permanent link

Direct link
Blockage Contraction
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
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
Abstract [en]

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.
Keyword [en]
Blockage contraction, Blocking relation, Repertoire contraction, Outcome set, Partial meet contraction, AGM, Belief bases, Kernel contraction
National Category
URN: urn:nbn:se:kth:diva-121466DOI: 10.1007/s10992-012-9231-9ISI: 000316677000009ScopusID: 2-s2.0-84875442323OAI: diva2:619084

QC 20130502

Available from: 2013-05-02 Created: 2013-04-29 Last updated: 2013-05-02Bibliographically 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
Journal of Philosophical Logic

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

Direct link