@article {IOPORT.01698592,
    author       = {Bonanno, Giacomo},
    title        = {Branching time, perfect information games, and backward induction.},
    year         = {2001},
    journal      = {Games and Economic Behavior},
    volume       = {36},
    number       = {1},
    issn         = {0899-8256},
    pages        = {57-73},
    publisher    = {Elsevier Science (Academic Press), San Diego, CA},
    doi          = {10.1006/game.1999.0812},
    abstract     = {Summary: The logical foundations of game-theoretic solution concepts have so far been explored within the confines of epistemic logic. In this paper the author turns 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. The branching time framework is extended by adding agents and by defining the notion of prediction. A syntactic characterization of backward induction in terms of the property of internal consistency of prediction is given.},
    identifier   = {01698592},
}