Modelling simultaneous games in dynamic logic.

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....

Full description

Bibliographic Details

Published in:	Synthese Vol. 165; no. 2; pp. 247 - 269
Main Authors:	van Benthem, Johan, Ghosh, Sujata, Liu, Fenrong
Format:	Article
Published:	Springer Nature Nov2008
Subjects:	Modern logic Games Quantifiers (Linguistics) Parallelism (Linguistics) Social interaction
Online Access:	View this record in EBSCOhost