Modelling Simultaneous games with Concurrent Dynamic logic
van Benthem, J.F.A.K., Ghosh, S., Liu, F., Johan van Benthem, Ju, S., Frank Veltman · UvA-DARE (University of Amsterdam) · 2007
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 independencefriendly evaluation games for first-order logic.