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

DOI10.1016/j.tcs.2020.12.042zbMath1504.03013arXiv2101.01676OpenAlexW3113922387MaRDI QIDQ2034761

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

Publication date: 23 June 2021

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

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

• Unnamed Item
• Unnamed Item
• 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 revision, revised
• 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
• Basic conditional logic
• Propositional dynamic logic of regular programs
• Conditional logics of normality: A modal approach
• On the logic of iterated belief revision
• Handbook of philosophical logic. Vol. 10
• DDL unlimited: Dynamic doxastic logic for introspective agents
• Dynamic preference logic as a logic of belief change
• Dynamic interactive epistemology
• Changes in preference
• Some logics of iterated belief change
• From iterated revision to iterated contraction: extending the Harper identity
• Common belief and the theory of games with perfect information
• A Qualitative Theory of Dynamic Interactive Belief Revision
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• On the logic of theory change: Partial meet contraction and revision functions
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Belief Revision and Dynamic Logic

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