System of spheres-based multiple contractions

DOI10.1007/s10992-011-9197-zzbMath1243.03019WikidataQ62045351 ScholiaQ62045351MaRDI QIDQ421354

Maurício D. L. Reis, Eduardo L. Fermé

Publication date: 23 May 2012

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10400.13/3448

zbMATH Keywords

possible worlds semantics; theory contraction; belief change; multiple contraction; system of spheres

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

Related Items

EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS, Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result, Possible worlds semantics for partial meet multiple contraction, Rational evaluation in belief revision, 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, On the revision of informant credibility orders

Cites Work

• Possible worlds semantics for partial meet multiple contraction
• Theory contraction through base contraction
• Two modellings for theory change
• A survey of multiple contractions
• Multiple kernel contraction
• A textbook of belief dynamics. Theory change and database updating
• On the logic of theory change: Partial meet contraction and revision functions
• New operators for theory change
• Infinitary belief revision