Modelling Simultaneous Games with Concurrent Dynamic Logic Export

@inproceedings{BGL07, address = {Beijing}, author = {van Benthem, J. and Ghosh, S. and Liu, F.}, booktitle = {A Meeting of the Minds-Proceedings of the Workshop on Logic, Rationality and Interaction}, citeulike-article-id = {2883369}, editor = {van Benthem, J. and Ju, S. and Veltman, F.}, keywords = {branching, concurrent, dynamic, game, logic, quantifiers}, posted-at = {2008-06-11 17:26:33}, priority = {0}, title = {Modelling Simultaneous Games with Concurrent Dynamic Logic}, year = {2007} }

TY - CONF ID - BGL07 L3 - citeulike-article-id:2883369 AD - Beijing TI - Modelling Simultaneous Games with Concurrent Dynamic Logic T2 - A Meeting of the Minds-Proceedings of the Workshop on Logic, Rationality and Interaction KW - branching KW - concurrent KW - dynamic KW - game KW - logic KW - quantifiers AU - van Benthem, J AU - Ghosh, S AU - Liu, F A2 - van Benthem, J A2 - Ju, S A2 - Veltman, F PY - 2007/// ER -