Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions

DOI10.1007/s10472-015-9454-xzbMath1397.03021OpenAlexW1997752917WikidataQ62045340 ScholiaQ62045340MaRDI QIDQ524931

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

Publication date: 27 April 2017

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

theory contractionaxiomatic characterizationbelief changeepistemic entrenchmentmultiple contractionsystem of spheres

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

An investigation of parametrized difference revision operators ⋮ Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• System of spheres-based multiple contractions
• Two modellings for theory change
• A survey of multiple contractions
• Constructive modelings for theory change
• A textbook of belief dynamics. Theory change and database updating
• On the logic of theory change: Partial meet contraction and revision functions
• On the interrelation between systems of spheres and epistemic entrenchment relations
• Decomposition of multiple AGM contraction: possibility and impossibility results
• EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS
• New operators for theory change

This page was built for publication: Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions