Modelling simultaneous games in dynamic logic

Johan van Benthem

Sujata Ghosh

Fenrong Liu

pp. 247-268

in: Synthese 165 (2), 2008.

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.