{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:37:09Z","timestamp":1775738229925,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T00:00:00Z","timestamp":1684281600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T00:00:00Z","timestamp":1684281600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Department of Science and Technology, Government of India","award":["No. DST\/CSRI\/2018\/202"],"award-info":[{"award-number":["No. DST\/CSRI\/2018\/202"]}]},{"name":"the Major Program of the National Social Science Foundations of China","award":["22CZX063"],"award-info":[{"award-number":["22CZX063"]}]},{"DOI":"10.13039\/501100019339","name":"Tsinghua Initiative Scientific Research Program","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100019339","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1007\/s11225-023-10039-4","type":"journal-article","created":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T08:04:35Z","timestamp":1684310675000},"page":"821-853","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["A Simple Logic of the Hide and Seek Game"],"prefix":"10.1007","volume":"111","author":[{"given":"Dazhu","family":"Li","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"}]},{"given":"Yaxin","family":"Tu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,5,17]]},"reference":[{"key":"10039_CR1","doi-asserted-by":"crossref","unstructured":"Areces, C., R. Fervari, and G. Hoffmann, Moving arrows and four model checking results, in L Ong, and R. de Queiroz, (eds.), Proceedings of WoLLIC \u20192012, vol. 7456 of LNCS, Springer, 2012, pp. 142\u2013153.","DOI":"10.1007\/978-3-642-32621-9_11"},{"key":"10039_CR2","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/jigpal\/jzv020","volume":"23","author":"C Areces","year":"2015","unstructured":"Areces, C., R. Fervari, and G. Hoffmann, Relation-changing modal operators, Logic Journal of the IGPL 23:601\u2013627, 2015.","journal-title":"Logic Journal of the IGPL"},{"key":"10039_CR3","doi-asserted-by":"publisher","first-page":"1443","DOI":"10.1093\/logcom\/exy022","volume":"28","author":"C Areces","year":"2018","unstructured":"Areces, C., R. Fervari, G. Hoffmann, and M. Martel, Satisfiability for relation-changing logics, Journal of Logic and Computation 28:1443\u20131470, 2018.","journal-title":"Journal of Logic and Computation"},{"key":"10039_CR4","doi-asserted-by":"crossref","unstructured":"Aucher, G., J. van Benthem, and D. Grossi, Sabotage modal logic: Some model and proof theoretic aspects, in W. van der Hoek, W.H. Holliday, and W. Wang, (eds.), Proceedings of LORI\u00a0\u20192015, vol. 9394 of LNCS, Springer, 2015, pp. 1\u201313.","DOI":"10.1007\/978-3-662-48561-3_1"},{"issue":"2","key":"10039_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/logcom\/exx034","volume":"28","author":"G Aucher","year":"2018","unstructured":"Aucher, G., J. van Benthem, and D. Grossi, Modal logics of sabotage revisited, Journal of Logic and Computation 28(2):269\u2013303, 2018.","journal-title":"Journal of Logic and Computation"},{"key":"10039_CR6","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1007\/s10992-020-09588-z","volume":"50","author":"A Baltag","year":"2021","unstructured":"Baltag, A., and J. van Benthem, A simple logic of functional dependence, Journal of Philosophical Logic 50:939\u20131005, 2021.","journal-title":"Journal of Philosophical Logic"},{"key":"10039_CR7","doi-asserted-by":"crossref","unstructured":"Baltag, A., D. Li, and M.Y. Pedersen, On the right path: A modal logic for supervised learning, in P. Blackburn, E. Lorini, and M. Guo, (eds.), Proceedings of LORI\u00a0\u20192019, vol. 11813 of LNTCS, Springer, 2019, pp. 1\u201314.","DOI":"10.1007\/978-3-662-60292-8_1"},{"key":"10039_CR8","unstructured":"van Benthem, J., Modal Logic for Open Minds, CSLI Publications, 2010."},{"key":"10039_CR9","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Logic in Games, The MIT Press, 2014.","DOI":"10.7551\/mitpress\/9674.001.0001"},{"key":"10039_CR10","first-page":"125","volume-title":"Knowledge","author":"J van Benthem","year":"2020","unstructured":"van Benthem, J., and F. Liu, Graph games and logic design, in F. Liu, H. Ono, and J. Yu, (eds.), Knowledge, Proof and Dynamics, Springer, 2020, pp. 125\u2013146."},{"key":"10039_CR11","doi-asserted-by":"crossref","unstructured":"van Benthem, J., An essay on sabotage and obstruction, in D. Hutter, and W. Stephan, (eds.), Mechanizing Mathematical Reasoning, vol. 2605 of LNCS, Springer, 2005, pp. 268\u2013276.","DOI":"10.1007\/978-3-540-32254-2_16"},{"key":"10039_CR12","doi-asserted-by":"crossref","unstructured":"van Benthem, J., L. Li, C. Shi, and H. Yin, Hybrid sabotage modal logic, Journal of Logic and Computation, online first, 2022.","DOI":"10.1093\/logcom\/exac006"},{"key":"10039_CR13","doi-asserted-by":"crossref","unstructured":"Berger, R., The Undecidability of the Domino Problem, AMS, 1966.","DOI":"10.1090\/memo\/0066"},{"key":"10039_CR14","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de\u00a0Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"10039_CR15","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P Blackburn","year":"1995","unstructured":"Blackburn, P., and J. Seligman, Hybrid languages, Journal of Logic, Language and Information 4:251\u2013272, 1995.","journal-title":"Journal of Logic, Language and Information"},{"key":"10039_CR16","doi-asserted-by":"crossref","unstructured":"Blando, F.Z., K. Mierzewski, and C. Areces, The modal logics of the poison game, in F. Liu, H. Ono, and J. Yu, (eds.), Knowledge, Proof and Dynamics, vol. 7 of Logic in Asia: Studia Logica Library, Springer, 2020, pp. 3\u201323.","DOI":"10.1007\/978-981-15-2221-5_1"},{"key":"10039_CR17","doi-asserted-by":"crossref","unstructured":"Bonato, A., and R.J. Nowakowski, The Game of Cops and Robbers on Graphs, AMS, 2011.","DOI":"10.1090\/stml\/061"},{"key":"10039_CR18","unstructured":"Chen, Q., and D. Li, Logics of the hide and seek game: expressiveness, decidability and axiomatization, manuscript, 2023."},{"key":"10039_CR19","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0012-365X(93)90496-G","volume":"115","author":"P Duchet","year":"1993","unstructured":"Duchet, P., and H. Meyniel, Kernels in directed graphs: a poison game, Discrete Mathematics 115:273\u2013276 1993.","journal-title":"Discrete Mathematics"},{"key":"10039_CR20","unstructured":"Gabbay, D., A., Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Elsevier, 2003."},{"key":"10039_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"D Gabbay","year":"1998","unstructured":"Gabbay, D., and V. Shehtman: Products of modal logics. Part I, Journal of the IGPL 6:73\u2013146, 1998.","journal-title":"Part I. Journal of the IGPL"},{"key":"10039_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1093\/jigpal\/8.2.165","volume":"2","author":"D Gabbay","year":"2000","unstructured":"Gabbay, D., and V. Shehtman, Products of modal logics. Part II, Journal of the IGPL 2:165\u2013210, 2000.","journal-title":"Part II. Journal of the IGPL"},{"key":"10039_CR23","doi-asserted-by":"crossref","unstructured":"Gierasimczuk, N., L. Kurzen, and F.R. Vel\u00e1zquez-Quesada, Learning and teaching as a game: A sabotage approach, in X. He, J. Horty, and E. Pacuit, (eds.), Proceedings of LORI \u20192009, vol. 5834 of LNCS, Springer, 2009, pp. 119\u2013132.","DOI":"10.1007\/978-3-642-04893-7_10"},{"key":"10039_CR24","doi-asserted-by":"publisher","first-page":"1237","DOI":"10.2307\/2274274","volume":"49","author":"W Goldfarb","year":"1984","unstructured":"Goldfarb, W., The unsolvability of the G\u00f6del class with identity, Journal of Symbolic Logic 49:1237\u20131252, 1984.","journal-title":"Journal of Symbolic Logic"},{"key":"10039_CR25","unstructured":"Grossi, D., and S. Rey, Credulous acceptability, poison games and modal logic, in N. Agmon, M.E. Taylor, E. Elkind, and M. Veloso, (eds.), Proceedings of AAMAS 2019, International Foundation for Autonomous Agents and Multiagent Systems, Richland, 2019, pp. 1994\u20131996."},{"key":"10039_CR26","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/s11225-015-9647-7","volume":"104","author":"C Hampson","year":"2016","unstructured":"Hampson, C., S. Kikot\u2019, and A. Kurucz, The decision problem of modal product logics with a diagonal, and faulty counter machines, Studia Logica 104:455\u2013486, 2016.","journal-title":"Studia Logica"},{"key":"10039_CR27","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1134\/S0001434610070229","volume":"88","author":"SP Kikot\u2019","year":"2010","unstructured":"Kikot\u2019, S.P., Axiomatization of modal logic squares with distinguished diagonal.  Mathematical Notes 88:238\u2013250, 2010.","journal-title":"Mathematical Notes"},{"key":"10039_CR28","doi-asserted-by":"crossref","unstructured":"Kurucz, A., Products of modal logics with diagonal constant lacking the finite model property, in S. Ghilardi, and R. Sebastiani, (eds.), Frontiers of Combining Systems, vol. 5749 of LNCS, Springer, 2009, pp. 279\u2013286.","DOI":"10.1007\/978-3-642-04222-5_17"},{"key":"10039_CR29","first-page":"869","volume-title":"Handbook of Modal Logic, Studies in Logic and Practical Reasoning","author":"A Kurucz","year":"2007","unstructured":"Kurucz, A., Combining modal logics, in P. Blackburn, J. van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, Studies in Logic and Practical Reasoning, vol. 3, Elsevier, 2007, pp. 869\u2013924."},{"key":"10039_CR30","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1093\/logcom\/exz036","volume":"30","author":"D Li","year":"2020","unstructured":"Li, D., Losing connection: the modal logic of definable link deletion, Journal of Logic and Computation 30:715\u2013743, 2020.","journal-title":"Journal of Logic and Computation"},{"key":"10039_CR31","doi-asserted-by":"crossref","unstructured":"Li, D., S. Ghosh, F. Liu, and Y. Tu, On the subtle nature of a simple logic of the hide and seek game, in A. Silva, R. Wassermann, and R. de Queiroz, (eds.), Proceedings of WoLLIC \u20192021, vol. 13038 of LNCS, Springer, 2021, pp. 201\u2013218.","DOI":"10.1007\/978-3-030-88853-4_13"},{"key":"10039_CR32","doi-asserted-by":"crossref","unstructured":"L\u00f6ding, C., and P. Rohde, Model checking and satisfiability for sabotage modal logic, in P.K. Pandya, and J. Radhakrishnan, (eds.), FSTTCS 2003, vol. 2914 of LNCS, Springer, 2003, pp. 302\u2013313.","DOI":"10.1007\/978-3-540-24597-1_26"},{"key":"10039_CR33","volume-title":"and Y","author":"M Marx","year":"1997","unstructured":"Marx, M., and Y. Venema, Multi-Dimensional Modal Logic, Kluwer Academic Publishers, 1997."},{"key":"10039_CR34","first-page":"235","volume":"13","author":"R Nowakowski","year":"1983","unstructured":"Nowakowski, R., and R.P. Winkler, Vertex-to-vertex pursuit in a graph, Discrete Mathematics 13:235\u2013239, 1983.","journal-title":"Vertex-to-vertex pursuit in a graph. Mathematics"},{"key":"10039_CR35","unstructured":"P\u00fctzst\u00fcck, P., Decidability and Bisimulation for Logics of Functional Dependence, Bachelor\u2019s thesis, Mathematical Foundations of Computer Science, RWTH-Aachen University, 2020."},{"key":"10039_CR36","unstructured":"Rohde, P., On games and logics over dynamically changing structure, Ph.D. thesis, RWTH Aachen University, 2005."},{"key":"10039_CR37","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/j.jal.2010.08.006","volume":"8","author":"K Sano","year":"2010","unstructured":"Sano, K., Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?, Journal of Applied Logic 8:459\u2013474, 2010.","journal-title":"Journal of Applied Logic"},{"key":"10039_CR38","doi-asserted-by":"crossref","unstructured":"Thompson, D., Local fact change logic, in F. Liu, H. Ono, and J. Yu, (eds.), Knowledge, Proof and Dynamics, vol. 7 of Logic in Asia: Studia Logica Library, Springer, 2020, pp. 73\u201396.","DOI":"10.1007\/978-981-15-2221-5_5"},{"key":"10039_CR39","unstructured":"Tu, Y., S. Ghosh, D. Li, and F. Liu, Modal substitution logic, manuscript, 2023."},{"key":"10039_CR40","doi-asserted-by":"crossref","unstructured":"Vardi, M., On the complexity of bounded-variable queries, in Proceedings of the ACM 14th Symposium on Principles of Database Systems, 1995, pp. 266\u2013276.","DOI":"10.1145\/212433.212474"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10039-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-023-10039-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-023-10039-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T08:14:58Z","timestamp":1695716098000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-023-10039-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,17]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["10039"],"URL":"https:\/\/doi.org\/10.1007\/s11225-023-10039-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,17]]},"assertion":[{"value":"5 December 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 May 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}