Iterated Revision By Epistemic States: Axioms, Semantics And Syntax

Abstract

We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set representation theorems and give two semantical representations of operators: by polynomials and by weighted belief bases. These representations will result to be equivalent.