Maximal and perimaximal contraction

Synthese 190 (16):3325-3348 (2013)
  Copy   BIBTEX

Abstract

Generalizations of partial meet contraction are introduced that start out from the observation that only some of the logically closed subsets of the original belief set are at all viable as contraction outcomes. Belief contraction should proceed by selection among these viable options. Several contraction operators that are based on such selection mechanisms are introduced and then axiomatically characterized. These constructions are more general than the belief base approach. It is shown that partial meet contraction is exactly characterized by adding to one of these constructions the condition that all logically closed subsets of the belief set can be obtained as the outcome of a single (multiple) contraction. Examples are provided showing the counter-intuitive consequences of that condition, thus confirming the credibility of the proposed generalization of the AGM framework

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 101,773

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
Blockage Contraction.Sven Ove Hansson - 2013 - Journal of Philosophical Logic 42 (2):415-442.
Changes of disjunctively closed bases.Sven Ove Hansson - 1993 - Journal of Logic, Language and Information 2 (4):255-284.
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.
Replacement—A Sheffer Stroke for Belief Change.Sven Ove Hansson - 2009 - Journal of Philosophical Logic 38 (2):127-149.
Kernel contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.
Specified Meet Contraction.Sven Ove Hansson - 2008 - Erkenntnis 69 (1):31-54.

Analytics

Added to PP
2012-08-31

Downloads
57 (#383,352)

6 months
7 (#755,958)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sven Ove Hansson
Royal Institute of Technology, Stockholm

Citations of this work

Descriptor Revision.Sven Ove Hansson - 2014 - Studia Logica 102 (5):955-980.
A Monoselective Presentation of AGM Revision.Sven Ove Hansson - 2015 - Studia Logica 103 (5):1019-1033.
Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.

View all 6 citations / Add more citations