Please use this identifier to cite or link to this item:
https://hdl.handle.net/10419/31321
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bonanno, Giacomo | en |
dc.date.accessioned | 2006-07-24 | - |
dc.date.accessioned | 2010-05-14T11:03:54Z | - |
dc.date.available | 2010-05-14T11:03:54Z | - |
dc.date.issued | 2006 | - |
dc.identifier.uri | http://hdl.handle.net/10419/31321 | - |
dc.description.abstract | 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 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 |
dc.language.iso | eng | en |
dc.publisher | |aUniversity of California, Department of Economics |cDavis, CA | en |
dc.relation.ispartofseries | |aWorking Paper |x06-17 | en |
dc.subject.ddc | 330 | en |
dc.title | Axiomatization of the AGM theory of belief revision in a temporal logic | - |
dc.type | |aWorking Paper | en |
dc.identifier.ppn | 514876417 | en |
dc.rights | http://www.econstor.eu/dspace/Nutzungsbedingungen | en |
Files in This Item:
Items in EconStor are protected by copyright, with all rights reserved, unless otherwise indicated.