{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T20:33:57Z","timestamp":1774038837014,"version":"3.50.1"},"reference-count":43,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100004147","name":"Tsinghua University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004147","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001409","name":"India Ministry of Science & Technology Department of Science and Technology","doi-asserted-by":"publisher","award":["DST\/CSRI\/2018\/202"],"award-info":[{"award-number":["DST\/CSRI\/2018\/202"]}],"id":[{"id":"10.13039\/501100001409","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1016\/j.apal.2026.103742","type":"journal-article","created":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T16:23:17Z","timestamp":1771604597000},"page":"103742","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["A modal approach towards substitutions"],"prefix":"10.1016","volume":"177","author":[{"given":"Yaxin","family":"Tu","sequence":"first","affiliation":[]},{"given":"Sujata","family":"Ghosh","sequence":"additional","affiliation":[]},{"given":"Fenrong","family":"Liu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4780-1705","authenticated-orcid":false,"given":"Dazhu","family":"Li","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/j.apal.2026.103742_br0420","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1093\/logcom\/exx034","article-title":"Modal logics of sabotage revisited","volume":"28","author":"Aucher","year":"2018","journal-title":"J. Log. Comput."},{"key":"10.1016\/j.apal.2026.103742_br0080","series-title":"Logic in Computer Sciences (LICS)","first-page":"143","article-title":"Dynamic logic of propositional assignments: a well-behaved variant of PDL","author":"Balbiani","year":"2013"},{"key":"10.1016\/j.apal.2026.103742_br0140","series-title":"Proceedings of TARK '98","first-page":"43","article-title":"The logic of public announcements, common knowledge, and private suspicions","author":"Baltag","year":"1998"},{"key":"10.1016\/j.apal.2026.103742_br0020","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s11225-018-9804-x","article-title":"Dynamic epistemic logics of diffusion and prediction in social networks","volume":"107","author":"Baltag","year":"2019","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103742_br0270","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"10.1016\/j.apal.2026.103742_br0340","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.19600060105","article-title":"Weak second-order arithmetic and finite automata","volume":"6","author":"B\u00fcchi","year":"1960","journal-title":"Math. Log. Q."},{"key":"10.1016\/j.apal.2026.103742_br0360","series-title":"Proceedings of DaL\u013a 2023","first-page":"20","article-title":"Logic of the hide and seek game: characterization, axiomatization, decidability","volume":"vol. 14401","author":"Chen","year":"2024"},{"key":"10.1016\/j.apal.2026.103742_br0370","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1145\/976706.976710","article-title":"Inflationary fixed points in modal logic","volume":"5","author":"Dawar","year":"2004","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/j.apal.2026.103742_br0040","series-title":"Contributions to the Theory of Games, Volume II","first-page":"245","article-title":"Infinite games with perfect information","volume":"vol. 28","author":"Gale","year":"1953"},{"key":"10.1016\/j.apal.2026.103742_br0290","series-title":"Dynamic Logic","author":"Harel","year":"2000"},{"key":"10.1016\/j.apal.2026.103742_br0350","series-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"2006"},{"key":"10.1016\/j.apal.2026.103742_br0330","series-title":"CONCUR '96: Concurrency Theory","first-page":"263","article-title":"On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic","volume":"vol. 1119","author":"Janin","year":"1996"},{"key":"10.1016\/j.apal.2026.103742_br0160","series-title":"Proceedings of LORI 2007","first-page":"173","article-title":"Dynamic term-modal logic","author":"Kooi","year":"2007"},{"key":"10.1016\/j.apal.2026.103742_br0220","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3166\/jancl.17.231-253","article-title":"Expressivity and completeness for public update logics via reduction axioms","volume":"17","author":"Kooi","year":"2007","journal-title":"J. Appl. Non-Class. Log."},{"key":"10.1016\/j.apal.2026.103742_br0230","series-title":"Proceedings of Workshop on Logics of Programs 1983","first-page":"313","article-title":"A decision procedure for the propositional \u03bc-calculus","volume":"vol. 164","author":"Kozen","year":"1984"},{"key":"10.1016\/j.apal.2026.103742_br0410","series-title":"Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-agent Interaction","author":"Li","year":"2021"},{"key":"10.1016\/j.apal.2026.103742_br0300","doi-asserted-by":"crossref","first-page":"821","DOI":"10.1007\/s11225-023-10039-4","article-title":"A simple logic of the hide and seek game","volume":"111","author":"Li","year":"2023","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103742_br0390","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11229-025-05165-6","article-title":"Reasoning under uncertainty in the game of cops and robbers","volume":"206","author":"Li","year":"2025","journal-title":"Synthese"},{"issue":"11","key":"10.1016\/j.apal.2026.103742_br0010","doi-asserted-by":"crossref","first-page":"2403","DOI":"10.1007\/s11229-014-0432-3","article-title":"Logical dynamics of belief change in the community","volume":"191","author":"Liu","year":"2014","journal-title":"Synthese"},{"key":"10.1016\/j.apal.2026.103742_br0150","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","article-title":"The undecidability of iterated modal relativization","volume":"79","author":"Miller","year":"2005","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103742_br0380","series-title":"A Course in Game Theory","author":"Osborne","year":"1994"},{"key":"10.1016\/j.apal.2026.103742_br0130","series-title":"Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems","first-page":"201","article-title":"Logics of public communications","author":"Plaza","year":"1989"},{"key":"10.1016\/j.apal.2026.103742_br0250","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/BF00370641","article-title":"Infinitary propositional normal modal logic","volume":"46","author":"Radev","year":"1987","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103742_br0400","doi-asserted-by":"crossref","DOI":"10.1007\/s11225-024-10149-7","article-title":"Hybrid logic of the hide and seek game","author":"Sano","year":"2024","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103742_br0090","series-title":"Substitution as Modality","author":"Tang","year":"2022"},{"key":"10.1016\/j.apal.2026.103742_br0100","series-title":"Advances in Modal Logic. Booklet of Short Papers","first-page":"57","article-title":"Substitution as modality","author":"Tang","year":"2024"},{"key":"10.1016\/j.apal.2026.103742_br0070","series-title":"Knowledge, Proof and Dynamics, Logic in Asia: Studia Logica Library","first-page":"73","article-title":"Local fact change logic","author":"Thompson","year":"2020"},{"key":"10.1016\/j.apal.2026.103742_br0260","series-title":"Modal Logic for Open Minds","author":"van Benthem","year":"2010"},{"key":"10.1016\/j.apal.2026.103742_br0120","series-title":"Logical Dynamics of Information and Interaction","author":"van Benthem","year":"2011"},{"key":"10.1016\/j.apal.2026.103742_br0310","series-title":"Logic in Games","author":"van Benthem","year":"2014"},{"key":"10.1016\/j.apal.2026.103742_br0030","series-title":"The Facts Matter","first-page":"9","article-title":"Oscillations, logic, and dynamical systems","author":"van Benthem","year":"2015"},{"key":"10.1016\/j.apal.2026.103742_br0050","series-title":"Dick de Jongh on Intuitionistic and Provability Logics","first-page":"75","article-title":"An abstract look at the fixed-point theorem for provability logic","volume":"vol. 28","author":"van Benthem","year":"2024"},{"key":"10.1016\/j.apal.2026.103742_br0430","series-title":"Knowledge, Proof and Dynamics","first-page":"125","article-title":"Graph games and logic design","author":"van Benthem","year":"2020"},{"key":"10.1016\/j.apal.2026.103742_br0320","series-title":"Graph Games and Logic Design: Recent Developments and Future Directions","year":"2026"},{"key":"10.1016\/j.apal.2026.103742_br0180","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","article-title":"Logics of communication and change","volume":"204","author":"van Benthem","year":"2006","journal-title":"Inf. Comput."},{"key":"10.1016\/j.apal.2026.103742_br0060","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/j.artint.2005.01.003","article-title":"On the logic of cooperation and propositional control","volume":"164","author":"van der Hoek","year":"2005","journal-title":"Artif. Intell."},{"key":"10.1016\/j.apal.2026.103742_br0190","series-title":"Logic and the Foundations of Game and Decision Theory (LOFT 7)","first-page":"87","article-title":"Semantic results for ontic and epistemic change","author":"van Ditmarsch","year":"2008"},{"key":"10.1016\/j.apal.2026.103742_br0200","series-title":"Proceedings of AAMAS 2005","first-page":"141","article-title":"Dynamic epistemic logic with assignment","author":"van Ditmarsch","year":"2005"},{"key":"10.1016\/j.apal.2026.103742_br0110","series-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"},{"key":"10.1016\/j.apal.2026.103742_br0210","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1080\/11663081.2012.705964","article-title":"Public announcements, public assignments and the complexity of their logic","volume":"22","author":"van Ditmarsch","year":"2012","journal-title":"J. Appl. Non-Class. Log."},{"key":"10.1016\/j.apal.2026.103742_br0170","series-title":"Guarded actions","author":"van Eijck","year":"2004"},{"key":"10.1016\/j.apal.2026.103742_br0240","article-title":"Lectures on the Modal \u03bc-Calculus","author":"Venema","year":"2020"},{"key":"10.1016\/j.apal.2026.103742_br0280","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","article-title":"On axiomatizations of public announcement logic","volume":"190","author":"Wang","year":"2013","journal-title":"Synthese"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000254?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000254?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T18:41:43Z","timestamp":1774032103000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007226000254"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":43,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2026,7]]}},"alternative-id":["S0168007226000254"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2026.103742","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A modal approach towards substitutions","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2026.103742","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"103742"}}