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

Descripción completa

Detalles Bibliográficos

Publicado en:	Synthese Vol. 165; no. 2; pp. 247 - 269
Autores principales:	van Benthem, Johan, Ghosh, Sujata, Liu, Fenrong
Formato:	Artículo
Publicado:	Springer Nature Nov2008
Materias:	Modern logic Games Quantifiers (Linguistics) Parallelism (Linguistics) Social interaction
Acceso en línea:	Ver este registro en EBSCOhost