Modelling Simultaneous Games with Dynamic Logic
Johan van Benthem, Sujata Ghosh, Fenrong Liu

Abstract:
We make a proposal for formalizing simultaneous games at the
abstraction level of player's powers, combining ideas from dynamic
logic of sequential games and concurrent dynamic logic. We prove
completeness for a new system of 'concurrent game logic' CDGL with
respect to finite non-determined games. We also show how this system
raises new mathematical issues, and throws light on branching
quantifiers and independence-friendly evaluation games for first-order
logic.