Belief base change as priority change: a study based on dynamic epistemic logic

DOI10.1016/J.JLAMP.2021.100689OpenAlexW3164670465MaRDI QIDQ1979969

Marlo Souza, Álvaro F. Moreira

Publication date: 3 September 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100689

zbMATH Keywords

belief changedynamic epistemic logicpreference changebelief base change

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Three approaches to iterated belief contraction
• Reasoning about preference dynamics.
• Bringing belief base change into dynamic epistemic logic
• Dynamic belief revision operators
• Iterated belief change and the recovery axiom
• Everything else being equal: a modal logic for ceteris paribus preferences
• Two modellings for theory change
• Nonmonotonic reasoning, preferential models and cumulative logics
• Belief contraction without recovery
• In defense of base contraction
• To preference via entrenchment
• On the logic of iterated belief revision
• Dynamic preference logic as a logic of belief change
• Base Revision for Ontology Debugging
• An Axiomatic Characterization of Ensconcement-Based Contraction
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• On the logic of theory change: Partial meet contraction and revision functions
• Injective Models and Disjunctive Relations
• Kernel contraction
• Operators and Laws for Combining Preference Relations
• On the interrelation between systems of spheres and epistemic entrenchment relations
• Belief Revision and Dynamic Logic
• OUP accepted manuscript

This page was built for publication: Belief base change as priority change: a study based on dynamic epistemic logic