Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result

DOI10.1016/j.artint.2016.01.001zbMath1352.03025DBLPjournals/ai/ReisFP16OpenAlexW2222919510WikidataQ62045338 ScholiaQ62045338MaRDI QIDQ254004

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

Publication date: 8 March 2016

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2016.01.001

zbMATH Keywords

theory contractionbelief changemultiple contractionsystem of spherestransitively relational partial meet

Mathematics Subject Classification ID

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

Related Items (1)

Characterizability in Horn Belief Revision

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Possible worlds semantics for partial meet multiple contraction
• Comparative possibility in set contraction
• System of spheres-based multiple contractions
• Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions
• Two modellings for theory change
• Belief contraction without recovery
• 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
• Strong equivalence made easy: nested expressions and weight constraints
• The Limit Assumption and Multiple Revision
• Decomposition of multiple AGM contraction: possibility and impossibility results
• EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS
• New operators for theory change
• Infinitary belief revision

This page was built for publication: Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result