{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:53:18Z","timestamp":1740099198573,"version":"3.37.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030017125"},{"type":"electronic","value":"9783030017132"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01713-2_9","type":"book-chapter","created":{"date-parts":[[2018,11,23]],"date-time":"2018-11-23T14:22:06Z","timestamp":1542982926000},"page":"115-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Strategic Knowledge of the Past - Expressivity and Complexity"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Chareton","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"issue":"6","key":"9_CR1","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","volume":"208","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Inf. Comp. 208(6), 677\u2013693 (2010)","journal-title":"Inf. Comp."},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2631917","volume":"15","author":"F Mogavero","year":"2014","unstructured":"Mogavero, F., Murano, A., Perelli, G., Vardi, M.Y.: Reasoning about strategies: On the model-checking problem. ACM Trans. Comput. Log. 15(4), 1\u201347 (2014)","journal-title":"ACM Trans. Comput. Log."},{"key":"9_CR3","unstructured":"\u00c5gotnes, T., Goranko, V., Jamroga, W., Wooldridge, M.: Knowledge and ability. Volume In: van Ditmarsch, H., Halpern, J.Y., van der Hoek, W., Kooi, B. (eds.) Handbook of Epistemic Logic, pp. 543\u2013589. College Publications (2015)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"423","DOI":"10.3166\/jancl.17.423-475","volume":"17","author":"W Jamroga","year":"2007","unstructured":"Jamroga, W., \u00c5gotnes, T.: Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non-Class. Log. 17, 423\u2013475 (2007)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.4204\/EPTCS.146.4","volume":"146","author":"Francesco Belardinelli","year":"2014","unstructured":"Belardinelli, F.: Reasoning about knowledge and strategies: epistemic strategy logic. In: Proceedings of 2nd International Workshop on Strategic Reasoning, SR, pp. 27\u201333 (2014)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"9_CR6","unstructured":"Knight, S., Maubert, B.: Dealing with imperfect information in strategy logic. In: Proceedings of 3rd International Workshop on Strategic Reasoning, SR (2015)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Huang, X., van der Meyden, R.: An epistemic strategy logic. In: Proceedings of 2nd International Workshop on Strategic Reasoning, SR, pp. 35\u201341 (2014)","DOI":"10.4204\/EPTCS.146.5"},{"key":"9_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch Van","year":"2007","unstructured":"Van Ditmarsch, H., van Der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, vol. 337. Springer Science & Business Media, Netherlands (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-662-55665-8_24","volume-title":"Logic, Rationality, and Interaction","author":"C Chareton","year":"2017","unstructured":"Chareton, C., van Ditmarsch, H.: Strategic knowledge of the past in quantum cryptography. In: Baltag, A., Seligman, J., Yamada, T. (eds.) LORI 2017. LNCS, vol. 10455, pp. 347\u2013361. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55665-8_24"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-15648-8_16","volume-title":"Logics of Programs","author":"O Lichtenstein","year":"1985","unstructured":"Lichtenstein, O., Pnueli, A., Zuck, L.: The glory of the past. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 196\u2013218. Springer, Heidelberg (1985). https:\/\/doi.org\/10.1007\/3-540-15648-8_16"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/BFb0055090","volume-title":"Automata, Languages and Programming","author":"MY Vardi","year":"1998","unstructured":"Vardi, M.Y.: Reasoning about the past with two-way automata. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 628\u2013641. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055090"},{"key":"9_CR12","unstructured":"French, T., van der Meyden, R., Reynolds, M.: Axioms for logics of knowledge and past time: synchrony and unique initial states. In: Proceedings of AiML, vol. 5, pp. 53\u201372 (2004)"},{"issue":"12","key":"9_CR13","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1016\/j.apal.2010.04.011","volume":"161","author":"J Sack","year":"2010","unstructured":"Sack, J.: Logic for update products and steps into the past. Ann. Pure Appl. Logic 161(12), 1431\u20131461 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-93920-7_6","volume-title":"Declarative Agent Languages and Technologies VI","author":"DP Guelev","year":"2009","unstructured":"Guelev, D.P., Dima, C.: Model-checking strategic ability and knowledge of the past of communicating coalitions. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 75\u201390. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-93920-7_6"},{"key":"9_CR15","volume-title":"The Stag Hunt and the Evolution of Social Structure","author":"B Skyrms","year":"2004","unstructured":"Skyrms, B.: The Stag Hunt and the Evolution of Social Structure. Cambridge University Press, Cambridge (2004)"},{"key":"9_CR16","unstructured":"Brenguier, R., P\u00e9rez, G.A., Raskin, J.F., Sankur, O.: Admissibility in quantitative graph games. arXiv preprint arXiv:1611.08677 (2016)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-70918-3_17","volume-title":"STACS 2007","author":"D Berwanger","year":"2007","unstructured":"Berwanger, D.: Admissibility in infinite games. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol. 4393, pp. 188\u2013199. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-70918-3_17"},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1016\/0022-0531(89)90038-0","volume":"48","author":"E Damme Van","year":"1989","unstructured":"Van Damme, E.: Stable equilibria and forward induction. J. Econ. Theory 48(2), 476\u2013496 (1989)","journal-title":"J. Econ. Theory"},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0165-1765(92)90217-M","volume":"40","author":"R Cooper","year":"1992","unstructured":"Cooper, R., De Jong, D.V., Forsythe, R., Ross, T.W.: Forward induction in coordination games. Econ. Lett. 40(2), 167\u2013172 (1992)","journal-title":"Econ. Lett."},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"91","DOI":"10.4204\/EPTCS.112.14","volume":"112","author":"Christophe Chareton","year":"2013","unstructured":"Chareton, C., Brunel, J., Chemouil, D.: Towards an updatable strategy logic. In: Proceedings of 1st International Workshop on Strategic Reasoning, SR, pp. 91\u201398 (2013)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.ic.2015.03.015","volume":"242","author":"C Chareton","year":"2015","unstructured":"Chareton, C., Brunel, J., Chemouil, D.: A logic with revocable and refinable strategies. Inf. Comput. 242, 157\u2013182 (2015)","journal-title":"Inf. Comput."},{"key":"9_CR22","unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of 22th IJCAI, pp. 854\u2013860 (2013)"},{"key":"9_CR23","unstructured":"Baltag, A.: A logic for suspicious players: Epistemic actions and belief-updates in games. Technical report, Amsterdam, The Netherlands (2000)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Stockmeyer, L.J.: Alternation. In: 17th Annual Symposium on Foundations of Computer Science, pp. 98\u2013108. IEEE (1976)","DOI":"10.1109\/SFCS.1976.4"},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0304-0208(08)73075-5","volume":"102","author":"D Harel","year":"1985","unstructured":"Harel, D.: Recurring dominoes: making the highly undecidable highly understandable. North-Holl. Math. Stud. 102, 51\u201371 (1985)","journal-title":"North-Holl. Math. Stud."},{"issue":"1","key":"9_CR26","first-page":"1","volume":"13","author":"F Mogavero","year":"2017","unstructured":"Mogavero, F., Murano, A., Perelli, G., Vardi, M.Y.: Reasoning about strategies: on the satisfiability problem. Log. Methods Comput. Sci. 13(1), 1\u201337 (2017)","journal-title":"Log. Methods Comput. Sci."},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/978-3-319-08867-9_34","volume-title":"Computer Aided Verification","author":"P \u010cerm\u00e1k","year":"2014","unstructured":"\u010cerm\u00e1k, P., Lomuscio, A., Mogavero, F., Murano, A.: MCMAS-SLK: a model checker for the verification of strategy logic specifications. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 525\u2013532. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_34"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Belardinelli, F., Lomuscio, A., Murano, A., Rubin, S.: Verification of broadcasting multi-agent systems against an epistemic strategy logic. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19\u201325, 2017, pp. 91\u201397 (2017)","DOI":"10.24963\/ijcai.2017\/14"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Berthon, R., Maubert, B., Murano, A., Rubin, S., Vardi, M.Y.: Strategy logic with imperfect information. In: 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20\u201323, 2017, pp. 1\u201312 (2017)","DOI":"10.1109\/LICS.2017.8005136"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01713-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T19:15:29Z","timestamp":1572981329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01713-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030017125","9783030017132"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01713-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}