Changes of disjunctively closed bases


Authors
Sven Ove Hansson
Royal Institute of Technology, Stockholm
Abstract
An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, some results are reported on operations on bases that are closed under material implication.
Keywords AGM theory  belief bases  belief revision  contraction  database updating  disjunctive closure  Gärdenfors postulates  partial meet contraction  recovery postulate
Categories (categorize this paper)
DOI 10.1007/BF01181682
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,282
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Theory Contraction Through Base Contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
On the Status of the Postulate of Recovery in the Logic of Theory Change.David Makinson - 1987 - Journal of Philosophical Logic 16 (4):383 - 394.
Belief Contraction Without Recovery.Sven Ove Hansson - 1991 - Studia Logica 50 (2):251 - 260.

View all 14 references / Add more references

Citations of this work BETA

Kernel Contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.
Maximal and Perimaximal Contraction.Sven Ove Hansson - 2013 - Synthese 190 (16):3325-3348.
Iterated Belief Change and the Recovery Axiom.Samir Chopra, Aditya Ghose, Thomas Meyer & Ka-Shu Wong - 2008 - Journal of Philosophical Logic 37 (5):501-520.

View all 14 citations / Add more citations

Similar books and articles

Multiple Kernel Contraction.Eduardo Fermé, Karina Saez & Pablo Sanz - 2003 - Studia Logica 73 (2):183 - 195.
Theory Contraction and Base Contraction Unified.Sven Ove Hansson - 1993 - Journal of Symbolic Logic 58 (2):602-625.
In Defense of Base Contraction.Sven Ove Hansson - 1992 - Synthese 91 (3):239 - 245.
Reversing the Levi Identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.
Kernel Contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.
Belief Contraction Without Recovery.Sven Ove Hansson - 1991 - Studia Logica 50 (2):251 - 260.

Analytics

Added to PP index
2009-01-28

Total views
24 ( #386,948 of 2,285,985 )

Recent downloads (6 months)
5 ( #249,472 of 2,285,985 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature