{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:22Z","timestamp":1740123022241,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T00:00:00Z","timestamp":1585353600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T00:00:00Z","timestamp":1585353600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["19K12113","17H02258"],"award-info":[{"award-number":["19K12113","17H02258"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s11225-020-09902-5","type":"journal-article","created":{"date-parts":[[2020,3,28]],"date-time":"2020-03-28T14:02:35Z","timestamp":1585404155000},"page":"95-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4367-0843","authenticated-orcid":false,"given":"Ryo","family":"Hatano","sequence":"first","affiliation":[]},{"given":"Katsuhiko","family":"Sano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,28]]},"reference":[{"issue":"2","key":"9902_CR1","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/logcom\/exx034","volume":"28","author":"G Aucher","year":"2017","unstructured":"Aucher, G., J. van Benthem, and D. Grossi, Modal logics of sabotage revisited, Journal of Logic and Computation 28(2):269\u2013303, 2017.","journal-title":"Journal of Logic and Computation"},{"key":"9902_CR2","unstructured":"Balbiani, P., V. Demange, and D. Galmiche, A sequent calculus with labels for PAL, Advances in Modal Logic 6, 2014."},{"issue":"1","key":"9902_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/logcom\/exn060","volume":"20","author":"P Balbiani","year":"2010","unstructured":"Balbiani, P., H. van\u00a0Ditmarsch, A. Herzig, and T. De Lima, Tableaux for public announcement logic, Journal of Logic and Computation 20(1):55\u201376, 2010.","journal-title":"Journal of Logic and Computation"},{"key":"9902_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. De Rijke, and Y. Venema, Modal Logic, vol.\u00a053, Cambridge University Press, 2002.","DOI":"10.1017\/CBO9781107050884"},{"key":"9902_CR5","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/j.ic.2014.07.013","volume":"239","author":"L Bozzelli","year":"2014","unstructured":"Bozzelli, L., H. van Ditmarsch, T. French, J. Hales, and S. Pinchinat, Refinement modal logic, Information and Computation 239:303\u2013339, 2014.","journal-title":"Information and Computation"},{"issue":"2","key":"9902_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., and W. Groeneveld, Reasoning about information change, Journal of Logic, Language and Information 6(2):147\u2013169, 1997.","journal-title":"Journal of Logic, Language and Information"},{"key":"9902_CR7","first-page":"239","volume":"9","author":"P Girard","year":"2012","unstructured":"Girard, P., J. Seligman, and F. Liu, General dynamic logic, Advances in Modal Logic 9:239\u2013260, 2012.","journal-title":"Advances in Modal Logic"},{"key":"9902_CR8","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel, D., D. Kozen, and J. Tiuryn, Dynamic logic, MIT Press, Cambridge, 2000."},{"key":"9902_CR9","doi-asserted-by":"crossref","unstructured":"Hatano, R., K. Sano, and S. Tojo, Cut free labelled sequent calculus for dynamic logic of relation changers, in S. C.-M. Yang, K. Y. Lee, and H. Ono, (eds.), Philosophical Logic: Current Trends in Asia, Springer Singapore, 2017, pp. 153\u2013180.","DOI":"10.1007\/978-981-10-6355-8_8"},{"key":"9902_CR10","volume-title":"Epistemic dynamics and protocol information","author":"T Hoshi","year":"2009","unstructured":"Hoshi, T., Epistemic dynamics and protocol information, Stanford University, Stanford, 2009."},{"key":"9902_CR11","unstructured":"Kashima, R., Mathematical Logic, Asakura Publishing Co., Ltd, Tokyo, (in Japanese), 2009."},{"issue":"4","key":"9902_CR12","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1017\/S1755020311000189","volume":"4","author":"B Kooi","year":"2011","unstructured":"Kooi, B., and B. Renne, Arrow update logic, The Review of Symbolic Logic 4(4):536\u2013559, 2011.","journal-title":"The Review of Symbolic Logic"},{"key":"9902_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1344-4","volume-title":"Reasoning about preference dynamics","author":"F Liu","year":"2011","unstructured":"Liu, F., Reasoning about preference dynamics, vol. 354, Springer Science & Business Media, Berlin, 2011."},{"key":"9902_CR14","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-662-45824-2_9","volume":"8923","author":"M Ma","year":"2015","unstructured":"Ma, M., K. Sano, F. Schwarzentruber, and F. R. Vel\u00e1zquez-Quesada, Tableaux for non-normal public announcement logic, Logic and Its Applications 8923:132\u2013145, 2015.","journal-title":"Logic and Its Applications"},{"key":"9902_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-662-48561-3_21","volume-title":"Logic, Rationality, and Interaction","author":"M Ma","year":"2015","unstructured":"Ma, M., and J. Seligman, Algebraic semantics for dynamic dynamic logic, in W. van der Hoek, W. H. Holliday, and W. Wang, (eds.), Logic, Rationality, and Interaction, Springer Berlin, 2015, pp. 255\u2013267."},{"issue":"3","key":"9902_CR16","first-page":"301","volume":"23","author":"P Maffezioli","year":"2013","unstructured":"Maffezioli, P., and A. Naibo, Proof theory of epistemic logic of programs, Logic and Logical Philosophy 23(3):301\u2013328, 2013.","journal-title":"Logic and Logical Philosophy"},{"key":"9902_CR17","unstructured":"Maffezioli, P., and S. Negri, A Gentzen-style analysis of public announcement logic, in Proceedings of the International Workshop on Logic and Philosophy of Knowledge, Communication and Action, 2010, pp. 293\u2013313."},{"issue":"1\u20132","key":"9902_CR18","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1080\/11663081.2017.1370663","volume":"27","author":"S Motoura","year":"2017","unstructured":"Motoura, S., A general framework for dynamic epistemic logic: towards canonical correspondences, Journal of Applied Non-Classical Logics 27(1-2):50\u201389, 2017.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"5","key":"9902_CR19","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S., Proof analysis in modal logic, Journal of Philosophical Logic 34(5):507, 2005.","journal-title":"Journal of Philosophical Logic"},{"key":"9902_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., J. von Plato, and A. Ranta, Structural Proof Theory, Cambridge University Press, Cambridge, 2001."},{"key":"9902_CR21","doi-asserted-by":"crossref","unstructured":"Nomura, S., K. Sano, and S. Tojo, Revising a sequent calculus for public announcement logic, Structural Analysis of Non-classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (TPLC-2014), 2015, pp. 131\u2013157.","DOI":"10.1007\/978-3-662-48357-2_7"},{"issue":"01","key":"9902_CR22","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H Ono","year":"1985","unstructured":"Ono, H., and Y. Komori, Logics without the contraction rule, The Journal of Symbolic Logic 50(01):169\u2013201, 1985.","journal-title":"The Journal of Symbolic Logic"},{"key":"9902_CR23","unstructured":"Plaza, J., Logics of public communications, in M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, and Z. W. Ras, (eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, 1989, pp. 201\u2013216."},{"key":"9902_CR24","unstructured":"Segerberg, K., An Essay in Classical Modal Logic, vol.\u00a013 of Filosofiska Studier, University of Uppsala, 1971."},{"issue":"4","key":"9902_CR25","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1093\/jigpal\/3.4.535","volume":"3","author":"K Segerberg","year":"1995","unstructured":"Segerberg, K., Belief revision from the point of view of doxastic logic, Logic Journal of the IGPL 3(4):535\u2013553, 1995.","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"9902_CR26","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1023\/A:1005546526502","volume":"50","author":"K Segerberg","year":"1999","unstructured":"Segerberg, K., Default logic as dynamic doxastic logic, Erkenntnis 50(2):333\u2013352, 1999.","journal-title":"Erkenntnis"},{"issue":"5","key":"9902_CR27","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1093\/logcom\/11.5.671","volume":"11","author":"J Seligman","year":"2001","unstructured":"Seligman, J., Internalization: The Case of Hybrid Logics, Journal of Logic and Computation 11(5):671\u2013689, 2001.","journal-title":"Journal of Logic and Computation"},{"key":"9902_CR28","doi-asserted-by":"crossref","unstructured":"Troelstra, A. S., and H. Schwichtenberg, Basic proof theory, no. 43, 2nd edition, Cambridge University Press, Cambridge, 2000.","DOI":"10.1017\/CBO9781139168717"},{"key":"9902_CR29","first-page":"268","volume-title":"An Essay on Sabotage and Obstruction","author":"J van Benthem","year":"2005","unstructured":"van Benthem, J., An Essay on Sabotage and Obstruction, Springer, Berlin, 2005, pp. 268\u2013276."},{"key":"9902_CR30","unstructured":"van Benthem, J., Man Muss Immer Umkehren!, vol.\u00a07 of Tributes, London: College Publications, 2008, pp. 53\u201366."},{"key":"9902_CR31","first-page":"281","volume-title":"Two Logical Faces of Belief Revision","author":"J van Benthem","year":"2014","unstructured":"van Benthem, J., Two Logical Faces of Belief Revision, Springer Netherlands, Dordrecht, 2014, pp. 281\u2013300."},{"issue":"5","key":"9902_CR32","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J Van Benthem","year":"2009","unstructured":"van Benthem, J., J. Gerbrandy, T. Hoshi, and E. Pacuit, Merging frameworks for interaction, Journal of Philosophical Logic 38(5):491\u2013526, 2009.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9902_CR33","doi-asserted-by":"publisher","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J Van Benthem","year":"2007","unstructured":"van Benthem, J., and F. Liu, Dynamic logic of preference upgrade, Journal of Applied Non-Classical Logics 17(2):157\u2013182, 2007.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9902_CR34","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., W. van der Hoek, B. Kooi, and L. B. Kuijer, Arbitrary arrow update logic, Artificial Intelligence 242:80\u2013106, 2017.","DOI":"10.1016\/j.artint.2016.10.003"},{"key":"9902_CR35","volume-title":"Dynamic epistemic logic","author":"H Van Ditmarsch","year":"2007","unstructured":"van Ditmarsch, H., W. van der Hoek, and B. P. Kooi, Dynamic epistemic logic, vol. 337, Springer, Berlin, 2007."},{"key":"9902_CR36","unstructured":"Wang, Y., and G. Aucher, An alternative axiomatization of del and its applications, in IJCAI International Joint Conference in Artificial Intelligence, 2013, pp. 1139\u20131146."},{"issue":"1","key":"9902_CR37","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","volume":"190","author":"Y Wang","year":"2013","unstructured":"Wang, Y., and Q. Cao, On axiomatizations of public announcement logic, Synthese 190(1):103\u2013134, 2013.","journal-title":"Synthese"},{"key":"9902_CR38","first-page":"1","volume-title":"Computational Logic in Multi-Agent Systems","author":"T Yamada","year":"2007","unstructured":"Yamada, T., Acts of commanding and changing obligations, in K. Inoue, K. Satoh, and F. Toni, (eds.), Computational Logic in Multi-Agent Systems, Springer, Heidelberg, 2007, pp. 1\u201319."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09902-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-020-09902-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09902-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,28]],"date-time":"2021-03-28T00:21:05Z","timestamp":1616890865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-020-09902-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,28]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["9902"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09902-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2020,3,28]]},"assertion":[{"value":"21 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 March 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}