Skip to Main content Skip to Navigation
Journal articles

A Conditional Logic for Iterated Belief Revision

Abstract : In this paper we (Laura Giordano, Nicola Olivetti and myself) propose a conditional logic to represent iterated belief revision systems. We propose a set of postulates for belief revision which are a small variant of Darwiche and Pearl's ones.The resulting conditional logic has a standard semantics in terms of selection function models, and provides a natural representation of epistemic states. A Representation Theorem establishes a correspondence between iterated belief revision systems and conditional models. Our Representation Theorem does not entail Gärdenfors' Triviality Result.
Document type :
Journal articles
Complete list of metadatas
Contributor : Pierre Jacob <>
Submitted on : Wednesday, June 26, 2002 - 4:37:37 PM
Last modification on : Monday, June 15, 2015 - 3:07:42 PM
Long-term archiving on: : Saturday, April 3, 2010 - 8:07:54 PM


  • HAL Id : ijn_00000072, version 1



Valentina Gliozzi. A Conditional Logic for Iterated Belief Revision. Studia Logica, Springer Verlag (Germany), 2002, 70(1), pp.23-47. ⟨ijn_00000072⟩



Record views


Files downloads