{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:09:54Z","timestamp":1742936994255,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_41","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T15:01:02Z","timestamp":1503500462000},"page":"598-613","source":"Crossref","is-referenced-by-count":2,"title":["On Axiomatization of Epistemic GDL"],"prefix":"10.1007","author":[{"given":"Guifei","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Perrussel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongmo","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"4","key":"41_CR1","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.: Games in dynamic-epistemic logic. Bull. Econ. Res. 53(4), 219\u2013248 (2001)","journal-title":"Bull. Econ. Res."},{"key":"41_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in Games","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J.: Logic in Games. MIT Press, Cambridge (2014)"},{"key":"41_CR3","volume-title":"Modal Logic","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002)"},{"key":"41_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-319-09764-0_12","volume-title":"Computational Logic in Multi-Agent Systems","author":"H Ditmarsch van","year":"2014","unstructured":"van Ditmarsch, H., Knight, S.: Partial information and uniform strategies. In: Bulling, N., Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA 2014. LNCS (LNAI), vol. 8624, pp. 183\u2013198. Springer, Cham (2014). doi: 10.1007\/978-3-319-09764-0_12"},{"key":"41_CR5","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"2003","unstructured":"Fagin, R., Moses, Y., Halpern, J.Y., Vardi, M.Y.: Reasoning About Knowledge. MIT press, Cambridge (2003)"},{"issue":"2","key":"41_CR6","first-page":"62","volume":"26","author":"M Genesereth","year":"2005","unstructured":"Genesereth, M., Love, N., Pell, B.: General game playing: overview of the AAAI competition. AI Mag. 26(2), 62\u201372 (2005)","journal-title":"AI Mag."},{"issue":"3","key":"41_CR7","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"JY Halpern","year":"2004","unstructured":"Halpern, J.Y., van Der Meyden, R., Vardi, M.Y.: Complete axiomatizations for reasoning about knowledge and time. SIAM J. Comput. 33(3), 674\u2013703 (2004)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"41_CR8","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"JY Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell. 54(3), 319\u2013379 (1992)","journal-title":"Artif. Intell."},{"key":"41_CR9","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)"},{"key":"41_CR10","first-page":"1077","volume-title":"Handbook of Modal Logic","author":"W Hoek van der","year":"2006","unstructured":"van der Hoek, W., Pauly, M.: Modal logic for games and information. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, vol. 3, pp. 1077\u20131148. Elsevier, Amsterdam (2006)"},{"issue":"1","key":"41_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W Hoek van der","year":"2003","unstructured":"van der Hoek, W., Wooldridge, M.: Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications. Stud. Log. 75(1), 125\u2013157 (2003)","journal-title":"Stud. Log."},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Huang, X., van der Meyden, R.: An epistemic strategy logic. In: SR 2014, pp. 35\u201341 (2014)","DOI":"10.4204\/EPTCS.146.5"},{"issue":"2","key":"41_CR13","first-page":"185","volume":"63","author":"W Jamroga","year":"2004","unstructured":"Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundam. Inform. 63(2), 185\u2013219 (2004)","journal-title":"Fundam. Inform."},{"key":"41_CR14","unstructured":"Jiang, G., Zhang, D., Perrussel, L., Zhang, H.: Epistemic GDL: a logic for representing and reasoning about imperfect information games. In: IJCAI 2016, pp. 1138\u20131144 (2016)"},{"issue":"1","key":"41_CR15","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D Kozen","year":"1981","unstructured":"Kozen, D., Parikh, R.: An elementary proof of the completeness of PDL. Theor. Comput. Sci. 14(1), 113\u2013118 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"41_CR16","unstructured":"Love, N., Hinrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General game playing: Game description language specification. Stanford Logic Group (2006). http:\/\/logic.stanford.edu\/reports\/LG-2006-01.pdf"},{"key":"41_CR17","volume-title":"The Encyclopedia of Chess Variants","author":"DB Pritchard","year":"1994","unstructured":"Pritchard, D.B.: The Encyclopedia of Chess Variants. Games & Puzzles, UK (1994)"},{"issue":"2","key":"41_CR18","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"MO Rabin","year":"1959","unstructured":"Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3(2), 114\u2013125 (1959)","journal-title":"IBM J. Res. Dev."},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Schiffel, S., Thielscher, M.: Reasoning about general games described in GDL-II. In: AAAI 2011, pp. 846\u2013851 (2011)","DOI":"10.1609\/aaai.v25i1.7944"},{"issue":"2","key":"41_CR20","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"PY Schobbens","year":"2004","unstructured":"Schobbens, P.Y.: Alternating-time logic with imperfect recall. Electron. Notes Theor. Comput. Sci. 85(2), 82\u201393 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"41_CR21","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"AP Sistla","year":"1985","unstructured":"Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM 32(3), 733\u2013749 (1985)","journal-title":"J. ACM"},{"key":"41_CR22","doi-asserted-by":"crossref","unstructured":"Thielscher, M.: A general game description language for incomplete information games. In: AAAI 2010, pp. 994\u2013999 (2010)","DOI":"10.1609\/aaai.v24i1.7647"},{"key":"41_CR23","unstructured":"Thielscher, M.: GDL-III: a proposal to extend the game description language to general epistemic games. In: ECAI 2016, pp. 1630\u20131631 (2016)"},{"key":"41_CR24","doi-asserted-by":"crossref","unstructured":"Zhang, D., Thielscher, M.: A logic for reasoning about game strategies. In: AAAI 2015, pp. 1671\u20131677 (2015)","DOI":"10.1609\/aaai.v29i1.9416"},{"issue":"2","key":"41_CR25","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s10992-014-9334-6","volume":"44","author":"D Zhang","year":"2015","unstructured":"Zhang, D., Thielscher, M.: Representing and reasoning about game strategies. J. Philos. Log. 44(2), 203\u2013236 (2015)","journal-title":"J. Philos. Log."}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T06:13:11Z","timestamp":1692943991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}