Arbeitspapier
Axiomatization of the AGM theory of belief revision in a temporal logic
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.
- Sprache
-
Englisch
- Erschienen in
-
Series: Working Paper ; No. 06-17
- Klassifikation
-
Wirtschaft
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Bonanno, Giacomo
- Ereignis
-
Veröffentlichung
- (wer)
-
University of California, Department of Economics
- (wo)
-
Davis, CA
- (wann)
-
2006
- Handle
- Letzte Aktualisierung
-
10.03.2025, 11:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Arbeitspapier
Beteiligte
- Bonanno, Giacomo
- University of California, Department of Economics
Entstanden
- 2006
Ähnliche Objekte (12)
The Logic of Belief Persistency
A characterization of sequential equilibrium in terms of AGM belief revision
The Modal Logic of Bayesian Belief Revision
On the pure logic of justified belief
On the pure logic of justified belief
A Kripke-Stalnaker-Lewis semantics for AGM belief revision
Temporal interaction of information and belief
Belief change and dynamic logic
On the Logic of Belief and Propositional Quantification
Belief change in branching time: AGM-consistency and iterated revision
Temporal Logic
Intersubjective Consistency of Beliefs and the Logic of Common Belief
The Logic of Belief Persistency
A characterization of sequential equilibrium in terms of AGM belief revision
The Modal Logic of Bayesian Belief Revision
On the pure logic of justified belief
On the pure logic of justified belief
A Kripke-Stalnaker-Lewis semantics for AGM belief revision
Temporal interaction of information and belief
Belief change and dynamic logic
On the Logic of Belief and Propositional Quantification
Belief change in branching time: AGM-consistency and iterated revision
Temporal Logic
Intersubjective Consistency of Beliefs and the Logic of Common Belief
The Logic of Belief Persistency
A characterization of sequential equilibrium in terms of AGM belief revision
The Modal Logic of Bayesian Belief Revision
On the pure logic of justified belief
On the pure logic of justified belief
A Kripke-Stalnaker-Lewis semantics for AGM belief revision
Temporal interaction of information and belief
Belief change and dynamic logic
On the Logic of Belief and Propositional Quantification
Belief change in branching time: AGM-consistency and iterated revision
Temporal Logic