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.
- Language
-
Englisch
- Bibliographic citation
-
Series: Working Paper ; No. 06-17
- Classification
-
Wirtschaft
- Event
-
Geistige Schöpfung
- (who)
-
Bonanno, Giacomo
- Event
-
Veröffentlichung
- (who)
-
University of California, Department of Economics
- (where)
-
Davis, CA
- (when)
-
2006
- Handle
- Last update
- 10.03.2025, 11:44 AM CET
Data provider
This object is provided by:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. If you have any questions about the object, please contact the data provider.
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. If you have any questions about the object, please contact the data provider.
Object type
- Arbeitspapier
Associated
- Bonanno, Giacomo
- University of California, Department of Economics
Time of origin
- 2006
Other Objects (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