Collections | Livre | Chapitre
Theory contraction and base contraction unified
pp. 219-245
Résumé
One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.
Détails de la publication
Publié dans:
Arló-Costa Horacio, Hendricks Vincent F., van Benthem Johan (2016) Readings in formal epistemology: sourcebook. Dordrecht, Springer.
Pages: 219-245
DOI: 10.1007/978-3-319-20451-2_14
Citation complète:
Hansson Sven Ove , 2016, Theory contraction and base contraction unified. In H. Arló-Costa, V. F. Hendricks & J. Van Benthem (eds.) Readings in formal epistemology (219-245). Dordrecht, Springer.