, Volume 165, Issue 2, pp 247–268

Modelling simultaneous games in dynamic logic

Open Access

DOI: 10.1007/s11229-008-9390-y

Cite this article as:
van Benthem, J., Ghosh, S. & Liu, F. Synthese (2008) 165: 247. doi:10.1007/s11229-008-9390-y


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.


Simultaneous games Parallelism Game logic Evaluation games IF logic Branching quantifiers 
Download to read the full article text

Copyright information

© The Author(s) 2008

Authors and Affiliations

  • Johan van Benthem
    • 1
    • 2
  • Sujata Ghosh
    • 3
    • 4
  • Fenrong Liu
    • 1
    • 5
  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.Department of PhilosophyStanford UniversityStandordUSA
  3. 3.Department of MathematicsVisva-BharatiShantiniketanIndia
  4. 4.Center for Soft Computing ResearchIndian Statistical InstituteKolkataIndia
  5. 5.Department of Philosophy, School of Humanities and Social SciencesTsinghua UniversityBeijingChina

Personalised recommendations