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

DOI10.1007/S10472-015-9454-XzbMATH Open1397.03021OpenAlexW1997752917WikidataQ62045340 ScholiaQ62045340MaRDI QIDQ524931FDOQ524931

Authors: Mauricio Reis, Pavlos Peppas, Eduardo 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

Recommendations

• Epistemic entrenchment-based multiple contractions
• System of spheres-based multiple contractions
• Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
• On the interrelation between systems of spheres and epistemic entrenchment relations
• Publication:3495345

zbMATH Keywords

belief changemultiple contractionsystem of spherestheory contractionaxiomatic characterizationepistemic entrenchment

Mathematics Subject Classification ID

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

Cites Work

• Two modellings for theory change
• A survey of multiple contractions
• A textbook of belief dynamics. Theory change and database updating
• On the logic of theory change: Partial meet contraction and revision functions
• System of spheres-based multiple contractions
• Title not available (Why is that?)
• Decomposition of multiple AGM contraction: possibility and impossibility results
• Epistemic entrenchment-based multiple contractions
• New operators for theory change
• Knowledge in flux. Modeling the dynamics of epistemic states
• Title not available (Why is that?)
• Constructive modelings for theory change
• On the interrelation between systems of spheres and epistemic entrenchment relations

Cited In (4)

• Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
• Epistemic entrenchment-based multiple contractions
• An investigation of parametrized difference revision operators
• On the interrelation between systems of spheres and epistemic entrenchment relations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q524931)