EconStor >
University of California (UC) >
UC Davis, Department of Economics >
Working Papers, Department of Economics, UC Davis >

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10419/31321
  

Full metadata record

DC FieldValueLanguage
dc.contributor.authorBonanno, Giacomoen_US
dc.date.accessioned2006-07-24en_US
dc.date.accessioned2010-05-14T11:03:54Z-
dc.date.available2010-05-14T11:03:54Z-
dc.date.issued2006en_US
dc.identifier.urihttp://hdl.handle.net/10419/31321-
dc.description.abstractIt 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 belief operator and an information operator. The first logic is shown to provide an axiomatization of the first six postulates of the AGM theory of belief revision, while the second, stronger, logic provides an axiomatization of the full set of AGM postulates.en_US
dc.language.isoengen_US
dc.publisherDep. of Economics, Univ. of California Davis, Calif.en_US
dc.relation.ispartofseriesWorking papers // University of California, Department of Economics 06,17en_US
dc.subject.ddc330en_US
dc.titleAxiomatization of the AGM theory of belief revision in a temporal logicen_US
dc.typeWorking Paperen_US
dc.identifier.ppn514876417en_US
dc.rightshttp://www.econstor.eu/dspace/Nutzungsbedingungen-
Appears in Collections:Working Papers, Department of Economics, UC Davis

Files in This Item:
File Description SizeFormat
514876417.pdf218.64 kBAdobe PDF
No. of Downloads: Counter Stats
Show simple item record
Download bibliographical data as: BibTeX

Items in EconStor are protected by copyright, with all rights reserved, unless otherwise indicated.