Arbeitspapier
Branching Time Logic, Perfect Information Games and Backward Induction
The logical foundations of game-theoretic solution concepts have so far been developed within the confines of epistemic logic. In this paper we turn to a different branch of modal logic, namely temporal logic, and propose to view the solution of a game as a complete prediction about future play. We extend the branching time framework by adding agents and by defining the notion of prediction. We show that perfect information games are a special case of extended branching time frames and that the backward-induction solution is a prediction. We also provide a characterization of backward induction in terms of the property of internal consistency of prediction.
- Sprache
-
Englisch
- Erschienen in
-
Series: Working Paper ; No. 98-13
- Klassifikation
-
Wirtschaft
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Magill, Michael
Bonanno, Giacomo
Gaasback, Kristin Van
- Ereignis
-
Veröffentlichung
- (wer)
-
University of California, Department of Economics
- (wo)
-
Davis, CA
- (wann)
-
1998
- Handle
- Letzte Aktualisierung
-
10.03.2025, 11:42 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
- Magill, Michael
- Bonanno, Giacomo
- Gaasback, Kristin Van
- University of California, Department of Economics
Entstanden
- 1998
Ähnliche Objekte (12)
Backward induction versus forward induction reasoning
Boundedly rational backward induction
Logic, 2. Induction
On the epistemic foundation for backward induction
An epistemic characterization of generalized backward induction
Generalized backward induction: Justification for a folk algorithm
A note on disbelief in others regarding backward induction
A dynamic epistemic characterization of backward induction without counterfactuals
Induction of linear temporal logic programs
Induction of Linear Temporal Logic Programs
King of the Hill: Giving Backward Induction its Best Shot
Branching space-time, modal logic and the counterfactual conditional
Backward induction versus forward induction reasoning
Boundedly rational backward induction
Logic, 2. Induction
On the epistemic foundation for backward induction
An epistemic characterization of generalized backward induction
Generalized backward induction: Justification for a folk algorithm
A note on disbelief in others regarding backward induction
A dynamic epistemic characterization of backward induction without counterfactuals
Induction of linear temporal logic programs
Induction of Linear Temporal Logic Programs
King of the Hill: Giving Backward Induction its Best Shot
Branching space-time, modal logic and the counterfactual conditional
Backward induction versus forward induction reasoning
Boundedly rational backward induction
Logic, 2. Induction
On the epistemic foundation for backward induction
An epistemic characterization of generalized backward induction
Generalized backward induction: Justification for a folk algorithm
A note on disbelief in others regarding backward induction
A dynamic epistemic characterization of backward induction without counterfactuals
Induction of linear temporal logic programs
Induction of Linear Temporal Logic Programs
King of the Hill: Giving Backward Induction its Best Shot