A Conditional Logic for Iterated Belief Revision

摘要

In this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pear (3). First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for iterated revision which, together with the (modified) AGM postulates, entail Darwiche and Pearl's ones.