Bonanno, Giacomo - Economics Department, University of California-Davis - 2006
It is natural to think of belief revision as the interaction of belief and information over time. Thus branching-time temporal logic seems a natural setting for a theory of belief revision. We propose two extensions of a modal logic that, besides the ""next-time"" temporal operator, contains a...