Iterated Belief Revision and Dalal's Operator
Theofanis I. Aravanis, Pavlos Peppas, Mary‐Anne Williams · 2018
One of the main shortcomings of the early AGM paradigm is its lack of any guidelines for iterated revision; it formalizes only one-step rational belief revision. Darwiche and Pearl, subsequently, addressed this problem by introducing four additional postulates (the DP postulates), supplementing the AGM ones. Despite the popularity of the DP approach, there are still controversies surrounding the DP postulates. In this article, we prove a conflict between each one of the latter, and one of the most popular and intuitive "off the shelf" revision functions, that is Dalal's revision operator.