{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T17:39:51Z","timestamp":1784914791007,"version":"3.55.0"},"reference-count":48,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1093\/jigpal\/jzv020","type":"journal-article","created":{"date-parts":[[2015,4,21]],"date-time":"2015-04-21T00:21:32Z","timestamp":1429575692000},"page":"601-627","source":"Crossref","is-referenced-by-count":62,"title":["Relation-changing modal operators: Fig. 1."],"prefix":"10.1093","volume":"23","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillaume","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2015,4,19]]},"reference":[{"key":"2015071523052949000_23.4.601.1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"2015071523052949000_23.4.601.2","doi-asserted-by":"crossref","unstructured":"Areces C. Fervari R. Hoffmann G. Moving arrows and four model checking results. In: Ong L. de Queiroz R. , editors. WoLLIC 2012. Vol. 7456. Springer; 2012. p. 142-153. of LNCS .","DOI":"10.1007\/978-3-642-32621-9_11"},{"key":"2015071523052949000_23.4.601.3","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzt030"},{"key":"2015071523052949000_23.4.601.4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2010.08.010"},{"key":"2015071523052949000_23.4.601.5","doi-asserted-by":"crossref","unstructured":"Areces C. ten Cate B. Hybrid logics. In: Blackburn P. Wolter F. van Benthem J. , editors. Handbook of Modal Logics. Elsevier; 2006. p. 821-868.","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"2015071523052949000_23.4.601.6","doi-asserted-by":"crossref","unstructured":"Areces C. van Ditmarsch H. Fervari R. Schwarzentruber F. Logics with copy and remove. In: Kohlenbach U. Barcel\u00f3 P. de Queiroz R. , editors. WoLLIC 2014. Vol. 8652. Springer; 2014. p. 51-65. of LNCS .","DOI":"10.1007\/978-3-662-44145-9_4"},{"key":"2015071523052949000_23.4.601.7","unstructured":"G. Aucher. A combined system for update logic and belief revision. Master's Thesis, ILLC, Universiteit van Amsterdam, 2003."},{"key":"2015071523052949000_23.4.601.8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.02.042"},{"key":"2015071523052949000_23.4.601.9","unstructured":"Baltag A. Moss L. Solecki S. The logic of public announcements, common knowledge and private suspicions. In: Gilboa I. , editor. Proceedings of TARK 1998. Morgan Kaufmann; 1998. p. 43-56."},{"key":"2015071523052949000_23.4.601.10","doi-asserted-by":"crossref","unstructured":"Blackburn P. de Rijke M. Venema Y. Cambridge Tracts in Theoretical Computer Science. Vol. 53. Cambridge University Press; 2001. Modal Logic.","DOI":"10.1017\/CBO9781107050884"},{"key":"2015071523052949000_23.4.601.11","doi-asserted-by":"crossref","unstructured":"Blackburn P. Wolter F. van Benthem J. , editors. Handbook of Modal Logics. Elsevier; 2006.","DOI":"10.1007\/978-1-4020-5587-4_5"},{"key":"2015071523052949000_23.4.601.12","doi-asserted-by":"crossref","unstructured":"de Lavalette G. R. Changing modalities. Journal of Logic and Computation 2004;14:253-278.","DOI":"10.1093\/logcom\/14.2.251"},{"key":"2015071523052949000_23.4.601.13","doi-asserted-by":"crossref","unstructured":"de Rijke M. Meeting some neighbours. Logic and Information Flow 1994:170-195.","DOI":"10.7551\/mitpress\/4286.003.0013"},{"key":"2015071523052949000_23.4.601.14","unstructured":"Ebbinghaus H. Flum J. Thomas W. Mathematical Logic. Springer; 1984."},{"key":"2015071523052949000_23.4.601.15","doi-asserted-by":"crossref","unstructured":"Fagin R. Halpern J. Moses Y. Vardi M. Reasoning about Knowledge. The MIT Press; 2003.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"2015071523052949000_23.4.601.16","unstructured":"R. Fervari. Relation-Changing Modal Logics. PhD Thesis, Facultad de Matem\u00e1tica Astronom\u00eda y F\u00edsica, Universidad Nacional de C\u00f3rdoba, Argentina, 2014."},{"key":"2015071523052949000_23.4.601.17","unstructured":"French T. Hales J. Tay E. A composable language for action models. In: Gor\u00e9 R. Kooi B. Kurucz A. , editors. Advances in Modal Logic 10. College Publications; 2014. p. 197-216."},{"key":"2015071523052949000_23.4.601.18","unstructured":"French T. van der Hoek W. Iliev P. Kooi B. Succinctness of epistemic languages. In: Walsh T. , editor. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11). AAAI Press; 2011. p. 881-886."},{"key":"2015071523052949000_23.4.601.19","unstructured":"J. Gerbrandy. Bisimulations on Planet Kripke. PhD Thesis, University of Amsterdam, 1999. ILLC Dissertation series DS-1999-01."},{"key":"2015071523052949000_23.4.601.20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008222603071"},{"key":"2015071523052949000_23.4.601.21","doi-asserted-by":"crossref","unstructured":"Gierasimczuk N. Kurzen L. Vel\u00e1zquez-Quesada F. Learning and teaching as a game: A sabotage approach. In: He , editors. LORI 2009. Vol. 5834. Springer; 2009. p. 119-132. of LNCS .","DOI":"10.1007\/978-3-642-04893-7_10"},{"key":"2015071523052949000_23.4.601.22","unstructured":"He X. Horty J. Pacuit E. , editors. LNCS. Vol. 5834. Springer; 2009. LORI 2009."},{"key":"2015071523052949000_23.4.601.23","unstructured":"Hintikka J. Knowledge and Belief. Cornell University Press Ithaca; 1962."},{"key":"2015071523052949000_23.4.601.24","unstructured":"Holliday W. Trust and the dynamics of testimony. In: Grossi D. Kurzen L. Vel\u00e1zquez-Quesada F. , editors. Logic and Interactive RAtionality. Seminar's yearbook 2009. Universiteit van Amsterdam; 2010. p. 118-142."},{"key":"2015071523052949000_23.4.601.25","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.231-253"},{"key":"2015071523052949000_23.4.601.26","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000189"},{"key":"2015071523052949000_23.4.601.27","doi-asserted-by":"crossref","unstructured":"Kooi B. Renne B. Generalized arrow update logic. In: Apt K. , editor. Proceedings of TARK 2011. ACM; 2011. p. 205-211.","DOI":"10.1145\/2000378.2000403"},{"key":"2015071523052949000_23.4.601.28","doi-asserted-by":"crossref","unstructured":"L\u00f6ding C. Rohde P. Model checking and satisfiability for sabotage modal logic. In: Pandya P. Radhakrishnan J. , editors. Proceedings of FSTTCS 2003. Vol. 2914. Springer; 2003. p. 302-313. of LNCS .","DOI":"10.1007\/978-3-540-24597-1_26"},{"key":"2015071523052949000_23.4.601.29","doi-asserted-by":"crossref","unstructured":"L\u00f6ding C. Rohde P. Mathematical Foundations of Computer Science 2003. Vol. 2747. Springer; 2003. Solving the sabotage game is PSPACE-hard; p. 531-540. of LNCS .","DOI":"10.1007\/978-3-540-45138-9_47"},{"key":"2015071523052949000_23.4.601.30","doi-asserted-by":"crossref","unstructured":"C. Lutz. Complexity and succinctness of public announcement logic. In Proceedings AAMAS-06: Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, 2006.","DOI":"10.1145\/1160633.1160657"},{"key":"2015071523052949000_23.4.601.31","unstructured":"Papadimitriou C. Computational Complexity. Addison-Wesley; 1994."},{"key":"2015071523052949000_23.4.601.32","unstructured":"Plaza J. Logics of public communications. In: Emrich M. Pfeifer M. Hadzikadic M. Ras Z. , editors. Procceedings of the 4th International Symposium on Methodologies for Intelligent Systems. 1989. p. 201-216."},{"key":"2015071523052949000_23.4.601.33","doi-asserted-by":"crossref","unstructured":"Renne B. Sack J. Yap A. Dynamic epistemic temporal logic. In: He , editors. LORI 2009. Vol. 5834. Springer; 2009. p. 263-277. of LNCS .","DOI":"10.1007\/978-3-642-04893-7_21"},{"key":"2015071523052949000_23.4.601.34","unstructured":"P. Rohde. On Games and Logics over Dynamically Changing Structures. PhD Thesis, RWTH Aachen, 2006."},{"key":"2015071523052949000_23.4.601.35","doi-asserted-by":"crossref","unstructured":"Sangiorgi D. On the origins of bisimulation and coinduction. ACM Transactions on Programming Languages and Systems (TOPLAS) 2009;31.","DOI":"10.1145\/1516507.1516510"},{"key":"2015071523052949000_23.4.601.36","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/3.4.535"},{"key":"2015071523052949000_23.4.601.37","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039182247"},{"key":"2015071523052949000_23.4.601.38","unstructured":"J. van Benthem. Modal Correspondence Theory. PhD Thesis, Mathematical Institute, University of Amsterdam, 1977. Doctoral Dissertation."},{"key":"2015071523052949000_23.4.601.39","unstructured":"van Benthem J. Proceedings of TARK 2001. Morgan Kaufmann; 2001. Logics for information update; p. 51-67."},{"key":"2015071523052949000_23.4.601.40","doi-asserted-by":"crossref","unstructured":"van Benthem J. Mechanizing Mathematical Reasoning. 2005. An essay on sabotage and obstruction; p. 268-276.","DOI":"10.1007\/978-3-540-32254-2_16"},{"key":"2015071523052949000_23.4.601.41","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.129-155"},{"key":"2015071523052949000_23.4.601.42","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.17.157-182"},{"key":"2015071523052949000_23.4.601.43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.04.006"},{"key":"2015071523052949000_23.4.601.44","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-1349-7"},{"key":"2015071523052949000_23.4.601.45","unstructured":"van Ditmarsch H. van der Hoek W. Kooi B. Public announcements and belief expansion. Advances in Modal Logic 5 2004:62-73."},{"key":"2015071523052949000_23.4.601.46","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H. van der Hoek W. Kooi B. Proceedings of AAMAS 2005. 2005. Dynamic epistemic logic with assignment; p. 141-148.","DOI":"10.1145\/1082473.1082495"},{"key":"2015071523052949000_23.4.601.47","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H. van der Hoek W. Kooi B. Dynamic Epistemic Logic. Kluwer; 2007.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"2015071523052949000_23.4.601.48","doi-asserted-by":"crossref","unstructured":"Vardi M. The complexity of relational query languages (extended abstract). In: Lewis H. Simons B. Burkhard W. Landweber L. , editors. Proceedings of STOC 1982. ACM; 1982. p. 137-146.","DOI":"10.1145\/800070.802186"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/23\/4\/601\/5069526\/jzv020.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,8]],"date-time":"2024-06-08T14:13:34Z","timestamp":1717856014000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzv020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,19]]},"references-count":48,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2015,7,15]]},"published-print":{"date-parts":[[2015,8]]}},"alternative-id":["10.1093\/jigpal\/jzv020"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzv020","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,19]]}}}