{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:39Z","timestamp":1725562599071},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642149764"},{"type":"electronic","value":"9783642149771"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14977-1_13","type":"book-chapter","created":{"date-parts":[[2010,8,11]],"date-time":"2010-08-11T06:23:30Z","timestamp":1281507810000},"page":"153-170","source":"Crossref","is-referenced-by-count":8,"title":["Playing Extensive Form Games in Parallel"],"prefix":"10.1007","author":[{"given":"Sujata","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Ramanujam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sunil","family":"Simon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Abrahamson, K.: Decidability and expressiveness of logics of processes. PhD thesis, Dept. of Computer Science, Univ. of Washington (1980)"},{"issue":"2","key":"13_CR2","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s11229-005-3875-8","volume":"149","author":"T. \u00c5gotnes","year":"2006","unstructured":"\u00c5gotnes, T.: Action and knowledge in alternating time temporal logic. Synthese\u00a0149(2), 377\u2013409 (2006)","journal-title":"Synthese"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"13_CR4","volume-title":"Proceedings of AAMAS 2010","author":"J. Broersen","year":"2010","unstructured":"Broersen, J.: CTL.STIT: Enhancing ATL to express important multi-agent system verification properties. In: Proceedings of AAMAS 2010. ACM Press, New York (2010)"},{"issue":"5","key":"13_CR5","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1093\/logcom\/exl025","volume":"16","author":"J. Broersen","year":"2006","unstructured":"Broersen, J., Herzig, A., Troquard, N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of Logic and Computation\u00a016(5), 559\u2013578 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-16066-3_5","volume-title":"Computation Theory","author":"R. Danecki","year":"1985","unstructured":"Danecki, R.: Nondeterministic propositional dynamic logic with intersection is decidable. In: Skowron, A. (ed.) SCT 1984. LNCS, vol.\u00a0208, pp. 34\u201353. Springer, Heidelberg (1985)"},{"key":"13_CR7","unstructured":"Goranko, V.: Coalition games and alternating temporal logics. In: Proceedings of TARK 2001, pp. 259\u2013272 (2001)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D.: Dynamic logic. In: Handbook of Philosophical Logic, vol.\u00a02, pp. 496\u2013604 (1984)","DOI":"10.1007\/978-94-009-6259-0_10"},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/0022-0000(82)90003-4","volume":"25","author":"D. Harel","year":"1982","unstructured":"Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. Journal of Computer and System Sciences\u00a025(2), 144\u2013170 (1982)","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR10","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J. Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"issue":"4","key":"13_CR11","doi-asserted-by":"publisher","first-page":"1072","DOI":"10.2178\/jsl\/1129642115","volume":"70","author":"M. Lange","year":"2005","unstructured":"Lange, M., Lutz, C.: 2-EXPTIME lower bounds for propositional dynamic logics with intersection. Journal of Symbolic Logic\u00a070(4), 1072\u20131086 (2005)","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR12","first-page":"111","volume":"24","author":"R. Parikh","year":"1985","unstructured":"Parikh, R.: The logic of games and its applications. Annals of Discrete Mathematics\u00a024, 111\u2013140 (1985)","journal-title":"Annals of Discrete Mathematics"},{"key":"13_CR13","unstructured":"Pauly, M.: Logic for Social Software. PhD thesis, Univ. of Amsterdam (2001)"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"Peleg, D.: Concurrent dynamic logic. Journal of the ACM\u00a034(2), 450\u2013479 (1987)","journal-title":"Journal of the ACM"},{"key":"13_CR15","first-page":"49","volume-title":"Proceedings of KR 2008","author":"R. Ramanujam","year":"2008","unstructured":"Ramanujam, R., Simon, S.: Dynamic logic on games with structured strategies. In: Proceedings of KR 2008, pp. 49\u201358. AAAI Press, Menlo Park (2008)"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/A:1015534111901","volume":"11","author":"J. Benthem van","year":"2002","unstructured":"van Benthem, J.: Extensive games as process models. Journal of Logic Language and Information\u00a011, 289\u2013313 (2002)","journal-title":"Journal of Logic Language and Information"},{"key":"13_CR17","first-page":"247","volume":"165","author":"J. Benthem van","year":"2008","unstructured":"van Benthem, J., Ghosh, S., Liu, F.: Modelling simultaneous games with dynamic logic. Synthese (Knowledge, Rationality and Action)\u00a0165, 247\u2013268 (2008)","journal-title":"Synthese (Knowledge, Rationality and Action)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of AAMAS 2005, pp. 157\u2013164 (2005)","DOI":"10.1145\/1082473.1082497"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: Proceedings of TARK 2007, pp. 269\u2013278 (2007)","DOI":"10.1145\/1324249.1324285"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14977-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:13:07Z","timestamp":1558285987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14977-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642149764","9783642149771"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14977-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}