System of Spheres-based Multiple Contractions

Journal of Philosophical Logic 41 (1):29-52 (2012)

Authors
Eduardo Fermé
University of Madeira
Abstract
We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.
Keywords Belief change  Theory contraction  Multiple contraction  Possible worlds semantics  System of spheres
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-011-9197-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,330
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.
Theory Contraction Through Base Contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.

View all 10 references / Add more references

Citations of this work BETA

AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
Rational Evaluation in Belief Revision.Yongfeng Yuan & Shier Ju - 2015 - Synthese 192 (7):2311-2336.

View all 6 citations / Add more citations

Similar books and articles

Multiple Kernel Contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
Belief Contraction as Nonmonotonic Inference.Alexander Bochman - 2000 - Journal of Symbolic Logic 65 (2):605-626.
Kernel Contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.
Levi Contractions and AGM Contractions: A Comparison.Sven Ove Hansson & Erik J. Olsson - 1995 - Notre Dame Journal of Formal Logic 36 (1):103-119.
Bootstrap Contraction.Sven Ove Hansson - 2013 - Studia Logica 101 (5):1013-1029.
Theory Contraction and Base Contraction Unified.Sven Ove Hansson - 1993 - Journal of Symbolic Logic 58 (2):602-625.
Ranking Functions, AGM Style.Wolfgang Spohn - 1999 - Internet Festschrift for Peter Gärdenfors.
Multiple-Conclusion Logic.D. J. Shoesmith - 1978 - Cambridge University Press.

Analytics

Added to PP index
2012-01-21

Total views
35 ( #259,860 of 2,286,083 )

Recent downloads (6 months)
11 ( #79,877 of 2,286,083 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature