Studia Logica

, Volume 70, Issue 1, pp 23–47

Iterated Belief Revision and Conditional Logic

  • Laura Giordano
  • Valentina Gliozzi
  • Nicola Olivetti
Article

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

Abstract

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

Authors and Affiliations

  • Laura Giordano
    • 1
  • Valentina Gliozzi
    • 2
  • Nicola Olivetti
    • 2
  1. 1.DSTAUniversità del Piemonte Orientale "A. Avogadro"AlessandriaItaly
  2. 2.Dipartimento di InformaticaUniversità di TorinoTorinoItaly