Dynamic preference logic meets iterated belief change: representation results and postulates characterization

DOI10.1016/J.TCS.2020.12.042zbMATH Open1504.03013arXiv2101.01676OpenAlexW3113922387MaRDI QIDQ2034761FDOQ2034761

Álvaro F. Moreira, Renata Passos Machado Vieira, Marlo Souza

Publication date: 23 June 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

Abstract: AGM's belief revision is one of the main paradigms in the study of belief change operations. Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich and expressive semantic frameworks. While the connections of AGM-like operations and their encoding in dynamic doxastic logics have been studied before by the work of Segerberg, most works on the area of Dynamic Epistemic Logics (DEL) have not, to our knowledge, attempted to use those logics as tools to investigate mathematical properties of belief change operators. This work investigates how Dynamic Preference Logic, a logic in the DEL family, can be used to study properties of dynamic belief change operators, focusing on well-known postulates of iterated belief change.

Full work available at URL: https://arxiv.org/abs/2101.01676

zbMATH Keywords

belief revisiondynamic epistemic logicdynamic preference logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Everything else being equal: a modal logic for ceteris paribus preferences
• Two modellings for theory change
• Nonmonotonic reasoning, preferential models and cumulative logics
• Counterfactuals.
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional dynamic logic of regular programs
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Reasoning about preference dynamics.
• Conditional logics of normality: A modal approach
• Changes in preference
• Iterated belief revision, revised
• On the logic of iterated belief revision
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• Basic conditional logic
• Dynamic interactive epistemology
• Common belief and the theory of games with perfect information
• Iterated belief change and the recovery axiom
• Three approaches to iterated belief contraction
• Dynamic belief revision operators
• Belief Revision and Dynamic Logic
• DDL unlimited: Dynamic doxastic logic for introspective agents
• Handbook of philosophical logic. Vol. 10
• Bringing belief base change into dynamic epistemic logic
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Some logics of iterated belief change
• A Qualitative Theory of Dynamic Interactive Belief Revision
• Dynamic preference logic as a logic of belief change
• From iterated revision to iterated contraction: extending the Harper identity

This page was built for publication: Dynamic preference logic meets iterated belief change: representation results and postulates characterization

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