Iterated Belief Revision and Conditional Logic
- Cite this article as:
- Giordano, L., Gliozzi, V. & Olivetti, N. Studia Logica (2002) 70: 23. doi:10.1023/A:1014602224874
- 47 Downloads
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.