A Conditional Logic for Iterated Belief Revision.