Studia Logica

, Volume 70, Issue 1, pp 23–47

Iterated Belief Revision and Conditional Logic


  • Laura Giordano
    • DSTAUniversità del Piemonte Orientale "A. Avogadro"
  • Valentina Gliozzi
    • Dipartimento di InformaticaUniversità di Torino
  • Nicola Olivetti
    • Dipartimento di InformaticaUniversità di Torino

DOI: 10.1023/A:1014602224874

Cite this article as:
Giordano, L., Gliozzi, V. & Olivetti, N. Studia Logica (2002) 70: 23. doi:10.1023/A:1014602224874


In this paper we propose a conditional logic called IBC to represent iterated belief revision systems. We propose a set of postulates for iterated revision which are a small variant of Darwiche and Pearl's ones. The conditional logic IBC has a standard semantics in terms of selection function models and provides a natural representation of epistemic states. We establish a correspondence between iterated belief revision systems and IBC-models. Our representation theorem does not entail Gärdenfors' Triviality Result.

Copyright information

© Kluwer Academic Publishers 2002