Repository | Journal | Volume | Articles
(2008) Synthese 165 (2).
Modelling simultaneous games in dynamic logic
Johan van Benthem , Sujata Ghosh, Fenrong Liu
pp. 247-268
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.
Publication details
DOI: 10.1007/s11229-008-9390-y
Full citation:
van Benthem, J. , Ghosh, S. , Liu, F. (2008). Modelling simultaneous games in dynamic logic. Synthese 165 (2), pp. 247-268.
This document is unfortunately not available for download at the moment.