A Conditional Logic for Belief Revision

摘要

In this paper we introduce a conditional logic BC to represent belief revision. Logic BC has a standard semantics in terms of possible worlds structures with a selection function and has strong similarities with Stalnaker's logic C2. Moreover, Gaerdenfors' Triviality Result does not apply to BC. We provide a representation result, which shows that each belief revision system corresponds to a BC-model and every BC model satisfying the covering condition determines a belief revision system.