R. Ramanujam and Sunil Simon
Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games, volume 3, pages 183-208, Amsterdam University Press, 2008.
An earlier version of this article appeared in the Proc. of LOFT06 .
We consider a logic for reasoning about composite strategies in games, where players' strategies are like programs, composed structurally. These depend not only on conditions that hold at game positions but also on properties of other players' strategies. We present an axiomatization for the logic and prove its completeness.