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.
Type de document :
Article dans une revue
Studia Logica, Springer Verlag (Germany), 2002, 70(1), pp.23-47
Liste complète des métadonnées

Contributeur : Pierre Jacob <>
Soumis le : mercredi 26 juin 2002 - 16:37:37
Dernière modification le : lundi 15 juin 2015 - 15:07:42
Document(s) archivé(s) le : samedi 3 avril 2010 - 20:07:54


  • 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〉



Consultations de la notice


Téléchargements de fichiers