Iteration of Iterated Belief Revision.

The behavior of iterated belief revision operators with respect to iteration has been characterized by a set of four postulates proposed by Darwiche and Pearl. These postulates give constraints on a single iteration step, and this is not enough to forbid some pathological operators. In this paper, we propose a generalization of these postulates to solve this issue and we study its implications. One surprising consequence is that, for TPO-representable operators (i.e., for operators defined as transitions on total pre-orders on interpretations), there are very few operators that satisfy this generalization.