Bitte verwenden Sie diesen Link, um diese Publikation zu zitieren, oder auf sie als Internetquelle zu verweisen: https://hdl.handle.net/10419/31321 
Kompletter Metadatensatz
DublinCore-FeldWertSprache
dc.contributor.authorBonanno, Giacomoen
dc.date.accessioned2006-07-24-
dc.date.accessioned2010-05-14T11:03:54Z-
dc.date.available2010-05-14T11:03:54Z-
dc.date.issued2006-
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
dc.language.isoengen
dc.publisher|aUniversity of California, Department of Economics |cDavis, CAen
dc.relation.ispartofseries|aWorking Paper |x06-17en
dc.subject.ddc330en
dc.titleAxiomatization of the AGM theory of belief revision in a temporal logic-
dc.type|aWorking Paperen
dc.identifier.ppn514876417en
dc.rightshttp://www.econstor.eu/dspace/Nutzungsbedingungenen

Datei(en):
Datei
Größe
218.64 kB





Publikationen in EconStor sind urheberrechtlich geschützt.