Template-Type: ReDIF-Paper 1.0
Author-Name: Giacomo Bonanno
Author-Name-First: Giacomo
Author-Name-Last: Bonanno
Author-Workplace-Name: Department of Economics, University of California Davis
Title: Axiomatization of the AGM theory of belief revision in a temporal logic
Abstract: It is natural to think of belief revision as the interaction of beliefand information over time. Thus branching-time temporal logic seems a naturalsetting for a theory of belief revision. We propose two extensions of amodal logic that, besides the ""next-time"" temporal operator, contains abelief operator and an information operator. The first logic is shown toprovide an axiomatization of the first six postulates of the AGM theoryof belief revision, while the second, stronger, logic provides an axiomatizationof the full set of AGM postulates.
Length: 20
File-URL: https://repec.dss.ucdavis.edu/files/gho3uZ5PjRoUziC1UdCGzTQD/06-17.pdf
File-Format: application/pdf
Number: 254
Classification-JEL: C63, C70
KeyWords: Belief revision, information, temporal logic, AGM theory
Creation-Date: 20060417
Handle: RePEc:cda:wpaper:254