New operators for theory change

DOI10.1111/j.1755-2567.1989.tb00725.xzbMath0722.03028WikidataQ59699509 ScholiaQ59699509MaRDI QIDQ5753941

Sven Ove Hansson

Publication date: 1989

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1989.tb00725.x

zbMATH Keywords

belief revision; theory change; knowledge base update; generalized contraction and revision operators

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

68T30: Knowledge representation

03B80: Other applications of logic

Related Items

Local Diagnosis, Credibility-limited Base Revision: New Classes and Their Characterizations, Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result, Eradication, Possible worlds semantics for partial meet multiple contraction, System of spheres-based multiple contractions, Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions, AGM 25 years. Twenty-five years of research in belief change, Residual contraction, Multiple and iterated contraction reduced to single-step single-sentence contraction, Belief contraction without recovery, In defense of base contraction, A procedural model of voting, Belief change as change in epistemic entrenchment, Reversing the Levi identity, A survey of multiple contractions, Changes of disjunctively closed bases, Foundational belief change, Shielded base contraction, Partial meet pseudo-contractions, Changes in preference, Editor's introduction to the special issue on belief revision, Belief revision, conditional logic and nonmonotonic reasoning, Repertoire contraction, Theory Contraction and Base Contraction Unified, Unnamed Item