Changes of disjunctively closed bases

Journal of Logic, Language and Information 2 (4):255-284 (1993)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf01181682

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: 106,894

External links

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

Through your library

My notes

Similar books and articles

Theory contraction and base contraction unified.Sven Ove Hansson - 1993 - Journal of Symbolic Logic 58 (2):602-625.
Belief contraction without recovery.Sven Ove Hansson - 1991 - Studia Logica 50 (2):251 - 260.
Repertoire Contraction.Sven Ove Hansson - 2013 - Journal of Logic, Language and Information 22 (1):1-21.
Maximal and perimaximal contraction.Sven Ove Hansson - 2013 - Synthese 190 (16):3325-3348.
Outcome level analysis of belief contraction.Sven Ove Hansson - 2013 - Review of Symbolic Logic 6 (2):183-204.
Generalized Partial Meet and Kernel Contractions.Marco Garapa & Maurício D. L. Reis - 2024 - Review of Symbolic Logic 17 (2):366-394.
On the Logic of Theory Change : Extending the AGM Model.Eduardo Fermé - 2011 - Dissertation, Royal Institute of Technology, Stockholm
Infobase change: A first approximation. [REVIEW]Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema - 2000 - Journal of Logic, Language and Information 9 (3):353-377.
A note on partial meet package contraction.Jun Li - 1998 - Journal of Logic, Language and Information 7 (2):139-142.
Residual Contraction.Marco Garapa & Maurício D. L. Reis - 2020 - Journal of Logic, Language and Information 29 (2):255-274.

Analytics

Added to PP
2009-01-28

Downloads
41 (#616,961)

6 months
3 (#1,188,611)

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

Kernel contraction.Sven Ove Hansson - 1994 - Journal of Symbolic Logic 59 (3):845-859.
Knowledge-level analysis of belief base operations.Sven Ove Hansson - 1996 - Artificial Intelligence 82 (1-2):215-235.
Levi Contractions and AGM Contractions: A Comparison.Sven Ove Hansson & Erik J. Olsson - 1995 - Notre Dame Journal of Formal Logic 36 (1):103-119.

View all 20 citations / Add more citations

References found in this work

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.

View all 16 references / Add more references