R. Ramanujam and Sunil Simon
Proc. Logic and the Foundations of Game and Decision Theory (LOFT06), Liverpool, pages 189-198, 2006.
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.