Journal of Philosophical Logic 42 (2):415-442 (2013)

Authors
Sven Ove Hansson
Royal Institute of Technology, Stockholm
Abstract
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 ≠ K ÷ p. The contraction outcome K ÷ 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
Keywords Blockage contraction  Blocking relation  Repertoire contraction  Outcome set  Partial meet contraction  AGM  Belief bases  Kernel contraction
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-012-9231-9
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,676
Through your library

References found in this work BETA

Two Modellings for Theory Change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.

View all 20 references / Add more references

Citations of this work BETA

Iterated Descriptor Revision and the Logic of Ramsey Test Conditionals.Sven Hansson - 2016 - Journal of Philosophical Logic 45 (4):429-450.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.
Blockage Revision.Sven Hansson - 2016 - Journal of Logic, Language and Information 25 (1):37-50.
Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.

Add more citations

Similar books and articles

Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
Kernel Contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.
A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Multiple Kernel Contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
Coherentist Contraction.SvenOve Hansson - 2000 - Journal of Philosophical Logic 29 (3):315-330.
Theory Contraction and Base Contraction Unified.Sven Ove Hansson - 1993 - Journal of Symbolic Logic 58 (2):602-625.
Changes of Disjunctively Closed Bases.Sven Ove Hansson - 1993 - Journal of Logic, Language and Information 2 (4):255-284.

Analytics

Added to PP index
2012-05-13

Total views
42 ( #234,624 of 2,386,128 )

Recent downloads (6 months)
1 ( #554,109 of 2,386,128 )

How can I increase my downloads?

Downloads

My notes