Theory contraction and base contraction unified

descriptionPublicationkeyboard_double_arrow_right Article , Part of book or chapter of book 01 Jun 1993 English Publisher:Cambridge University Press (CUP)Journal:Journal of Symbolic Logic, volume 58, pages 602-625 (issn: 0022-4812, eissn: 1943-5886,

Copyright policy )

Authors: Sven Ove Hansson;

doi: 10.2307/2275221 , 10.1007/978-3-319-20451-2_14

Theory contraction and base contraction unified

- Summary
- Subjects
- Metrics

Abstract

AbstractOne 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.

Related Organizations

Royal Institute of Technology
Sweden
Uppsala University
Sweden

Keywords

theory change, partial meet contraction, base contraction, Other nonclassical logic, logic of belief change

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	57
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%