Modelling Simultaneous Games in Dynamic Logic

@inproceedings{2008ModellingSG,
  title={Modelling Simultaneous Games in Dynamic Logic},
  author={},
  year={2008}
}
  • Published 2008
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.