Magill, Michael; Bonanno, Giacomo; Gaasback, Kristin Van - 1998
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....