{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T14:46:37Z","timestamp":1768833997519,"version":"3.49.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s11229-008-9390-y","type":"journal-article","created":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T07:42:21Z","timestamp":1222328541000},"page":"247-268","source":"Crossref","is-referenced-by-count":20,"title":["Modelling simultaneous games in dynamic logic"],"prefix":"10.1007","volume":"165","author":[{"given":"Johan","family":"van Benthem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sujata","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fenrong","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,9,26]]},"reference":[{"key":"9390_CR1","volume-title":"Truth and games: Essays in honour of Gabriel Sandu","author":"S. Abramsky","year":"2006","unstructured":"Abramsky S. (2006) Socially responsive, environmentally friendly logic. In: Tuomo A., Pietarinen A.-V. (eds) Truth and games: Essays in honour of Gabriel Sandu. Acta Philosophica Fennica, Helsinki"},{"key":"9390_CR2","doi-asserted-by":"crossref","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Abramsky S., Jagadeesan R. (1994) Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic 59: 543\u2013574","journal-title":"Journal of Symbolic Logic"},{"key":"9390_CR3","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur R., Henzinger T.A., Kupferman O. (2002) Alternating-time temporal logic. Journal of the ACM 49: 672\u2013713","journal-title":"Journal of the ACM"},{"key":"9390_CR4","unstructured":"Baeten, J. C. M., & Verhoef, C. (1995). Concrete process algebra. In S. Abramsky, D. M. Gabbay, & T. S. E. Maibaum (Eds.), Handbook of logic in computer science (Vol. 4, pp. 149\u2013268). London: Semantic Modelling, Clarendon Press."},{"key":"9390_CR5","volume-title":"Handbook of process algebra","year":"2001","unstructured":"Bergstra, J.A., Ponse, A., Smolka , S.A. (eds) (2001) Handbook of process algebra. North-Holland, Amsterdam"},{"key":"9390_CR6","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. CUP.","DOI":"10.1017\/CBO9781107050884"},{"key":"9390_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.4064\/fm-77-2-151-166","volume":"77","author":"A. Blass","year":"1972","unstructured":"Blass A. (1972) Degrees of indeterminacy of games. Fundamenta Mathematicae 77: 151\u2013166","journal-title":"Fundamenta Mathematicae"},{"key":"9390_CR8","unstructured":"Ghosh, S. (2008). Strategies made explicit in dynamic game logic. In J. van Benthem & E. Pacuit (Eds.), Proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008, pp. 74\u201381."},{"key":"9390_CR9","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/BF01028975","volume":"51","author":"R. Goldblatt","year":"1992","unstructured":"Goldblatt R. (1992) Parallel action: Concurrent dynamic logic with independent modalities. Studia Logica 51: 551\u2013578","journal-title":"Studia Logica"},{"key":"9390_CR10","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1023\/A:1027311011342","volume":"75","author":"V. Goranko","year":"2003","unstructured":"Goranko V. (2003) Basic algebra of game equivalences. Studia Logica 75: 221\u2013238","journal-title":"Studia Logica"},{"key":"9390_CR11","doi-asserted-by":"crossref","unstructured":"Hansen, H., Kupke, C., & Pacuit, E. (2007). Bisimulation for neighbourhood structures. In M. Haveraaen, U. Montanari, & T. Mossakowski (Eds.), Proceedings of 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007) (pp. 279\u2013293). LNCS 4624.","DOI":"10.1007\/978-3-540-73859-6_19"},{"key":"9390_CR12","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. The MIT Press.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"9390_CR13","doi-asserted-by":"crossref","unstructured":"Hintikka, J., & Sandu, G. (1997). Game-theoretical semantics. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (pp. 361\u2013410). MIT Press.","DOI":"10.1016\/B978-044481714-3\/50009-6"},{"key":"9390_CR14","first-page":"539","volume":"5","author":"W. Hodges","year":"1997","unstructured":"Hodges W. (1997) Compositional semantics for a language of imperfect information. Journal of the Interest Group in Pure and Applied Logics 5: 539\u2013563","journal-title":"Journal of the Interest Group in Pure and Applied Logics"},{"key":"9390_CR15","unstructured":"Netchitailov, I. (2000). An extension of game logic with parallel operators. Master\u2019s thesis, University of Amsterdam."},{"key":"9390_CR16","first-page":"111","volume":"24","author":"R. Parikh","year":"1985","unstructured":"Parikh R. (1985) The logic of games and its applications. Annals of Discrete Mathematics 24: 111\u2013140","journal-title":"Annals of Discrete Mathematics"},{"key":"9390_CR17","unstructured":"Pauly, M. (2001). Logics for social software. Ph.D. Dissertation, University of Amsterdam."},{"key":"9390_CR18","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1027354826364","volume":"75","author":"M. Pauly","year":"2003","unstructured":"Pauly M., Parikh R. (2003) Game logic\u2014An overview. Studia Logica 75: 165\u2013182","journal-title":"Studia Logica"},{"key":"9390_CR19","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"Peleg D. (1987) Concurrent dynamic logic. Journal of the ACM 34: 450\u2013479","journal-title":"Journal of the ACM"},{"key":"9390_CR20","unstructured":"Sevenster, M. (2006). Branching of imperfect information: Logic, games and computation. Ph.D. dissertation, University of Amsterdam."},{"key":"9390_CR21","unstructured":"van Benthem, J. (1999). Logic in games. Lecture Notes, Amsterdam and Stanford."},{"key":"9390_CR22","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J. Benthem van","year":"2001","unstructured":"van Benthem J. (2001) Games in dynamic-epistemic logic. Bulletin of Economic Research 53: 219\u2013248","journal-title":"Bulletin of Economic Research"},{"key":"9390_CR23","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1023\/A:1015534111901","volume":"11","author":"J. Benthem van","year":"2002","unstructured":"van Benthem J. (2002) Extensive games as process models. Journal of Logic, Language and Information 11: 289\u2013313","journal-title":"Journal of Logic, Language and Information"},{"key":"9390_CR24","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1027306910434","volume":"75","author":"J. Benthem van","year":"2003","unstructured":"van Benthem J. (2003) Logic games are complete for game logics. Studia Logica 75: 183\u2013203","journal-title":"Studia Logica"},{"key":"9390_CR25","unstructured":"van Benthem, J. (2006). The epistemic logic of IF games. In R. E. Auxier & L. E. Hahn (Eds.), Philosophy of Jaakko Hintikka. Open Court."},{"key":"9390_CR26","unstructured":"van Benthem, J. (2007). In praise of strategies, 2007. In J. van Eijck & R. Verbrugge (Eds.), Games, actions and social software (to appear)."},{"key":"9390_CR27","first-page":"243","volume-title":"A meeting of the minds\u2014Proceedings of the workshop on logic, rationality and interaction","author":"J. Benthem van","year":"2007","unstructured":"van Benthem J., Ghosh S., Liu F. (2007) Modelling simutaneous games with concurrent dynamic logic. In: van Benthem J., Ju S., Veltman F. (eds) A meeting of the minds\u2014Proceedings of the workshop on logic, rationality and interaction. King\u2019s College Publications, London, pp 243\u2013258"},{"key":"9390_CR28","unstructured":"van Benthem, J., & Sarenac, D. (2004). The geometry of knowledge. In J.-Y. B\u00e9ziau, A. Costa Leite, & A. Facchini (Eds.), Aspects of universal logic (pp. 1\u201331). Centre de Recherches S\u00e9miologiques, Universit\u00e9 de Neuchatel."},{"key":"9390_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/logcom\/4.1.1","volume":"4","author":"J. Benthem van","year":"1994","unstructured":"van Benthem J., van Eijck J., Stebletsova V. (1994) Modal logic, transition systems and processes. Journal of Logic Computation 4: 1\u201350","journal-title":"Journal of Logic Computation"},{"key":"9390_CR30","unstructured":"van Eijck, J., & Verbrugge, R. (2008). A fresh look at propositional dynamic logic and game logic. CWI Amsterdam and Department of AI, University of Groningen."},{"key":"9390_CR31","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1027363028181","volume":"75","author":"Y. Venema","year":"2003","unstructured":"Venema Y. (2003) Representation of game algebras. Studia Logica 75: 239\u2013257","journal-title":"Studia Logica"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-008-9390-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T14:20:59Z","timestamp":1550154059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-008-9390-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,26]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["9390"],"URL":"https:\/\/doi.org\/10.1007\/s11229-008-9390-y","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,9,26]]}}}