{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T17:39:23Z","timestamp":1784914763165,"version":"3.55.0"},"reference-count":40,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2018,8,13]],"date-time":"2018-08-13T00:00:00Z","timestamp":1534118400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100007881","name":"Foundation for Laboratory Medicine","doi-asserted-by":"publisher","award":["ANPCyT-PICTs-2016-0215"],"award-info":[{"award-number":["ANPCyT-PICTs-2016-0215"]}],"id":[{"id":"10.13039\/501100007881","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007881","name":"Foundation for Laboratory Medicine","doi-asserted-by":"publisher","award":["SeCyT-UNC"],"award-info":[{"award-number":["SeCyT-UNC"]}],"id":[{"id":"10.13039\/501100007881","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007881","name":"Foundation for Laboratory Medicine","doi-asserted-by":"publisher","award":["LU 1417\/2"],"award-info":[{"award-number":["LU 1417\/2"]}],"id":[{"id":"10.13039\/501100007881","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10,23]]},"DOI":"10.1093\/logcom\/exy022","type":"journal-article","created":{"date-parts":[[2018,7,26]],"date-time":"2018-07-26T03:15:02Z","timestamp":1532574902000},"page":"1443-1470","source":"Crossref","is-referenced-by-count":15,"title":["Satisfiability for relation-changing logics"],"prefix":"10.1093","volume":"28","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[{"name":"FaMAF, Universidad Nacional de C\u00f3rdoba, Argentina and Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Argentina"},{"name":"Fachbereich Mathematik und Informatik, Universit\u00e4t Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[{"name":"FaMAF, Universidad Nacional de C\u00f3rdoba, Argentina and Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Argentina"},{"name":"Fachbereich Mathematik und Informatik, Universit\u00e4t Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillaume","family":"Hoffmann","sequence":"additional","affiliation":[{"name":"FaMAF, Universidad Nacional de C\u00f3rdoba, Argentina and Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas (CONICET), Argentina"},{"name":"Fachbereich Mathematik und Informatik, Universit\u00e4t Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mauricio","family":"Martel","sequence":"additional","affiliation":[{"name":"Fachbereich Mathematik und Informatik, Universit\u00e4t Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2018,8,13]]},"reference":[{"key":"key\n\t\t\t\t20181024125316833_C1","unstructured":"C. Areces . Hybrid logics: the old and the new. In Proceedings of LogKCA-07, pp. 15\u201329, 2007."},{"key":"key\n\t\t\t\t20181024125316833_C2","doi-asserted-by":"crossref","unstructured":"C. Areces , P.Blackburn and M.Marx. A road-map on complexity for hybrid logics. In Computer Science Logic,J. Flum and M. Rodr\u00edguez-Artalejo, eds, pp. 307\u2013321. Number 1683 in Lecture Notes in Computer Science, Springer, Madrid, Spain, 1999.","DOI":"10.1007\/3-540-48168-0_22"},{"key":"key\n\t\t\t\t20181024125316833_C3","unstructured":"C. Areces , R.Fervari and G.Hoffmann. Moving arrows and four model checking results. In Logic, Language, Information and Computation. vol. 7456 of Lecture Notes in Computer Science, pp. 142\u2013153, Springer, 2012."},{"key":"key\n\t\t\t\t20181024125316833_C4","unstructured":"C. Areces , R.Fervari and G.Hoffmann. Tableaux for relation-changing modal logics. In Frontiers of Combining Systems. Vol. 8152 of Lecture Notes in Computer Science, pp. 263\u2013278, 2013."},{"key":"key\n\t\t\t\t20181024125316833_C5","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1093\/jigpal\/jzt030","article-title":"Swap logic","volume":"22","author":"Areces","year":"2014","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t20181024125316833_C6","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1093\/jigpal\/jzv020","article-title":"Relation-changing modal operators","volume":"23","author":"Areces","year":"2015","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t20181024125316833_C7","doi-asserted-by":"crossref","unstructured":"C. Areces , R.Fervari, G.Hoffmann and M.Martel. Relation-changing logics as fragments of hybrid logics. In Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Italy,D. Cantone and G. Delzanno, eds, pp. 16\u201329. Vol. 226 of EPTCS, 2016.","DOI":"10.4204\/EPTCS.226.2"},{"key":"key\n\t\t\t\t20181024125316833_C8","doi-asserted-by":"crossref","unstructured":"C. Areces , R.Fervari, G.Hoffmann and M.Martel. Undecidability of relation-changing modal logics. In Dynamic Logic. New Trends and Applications\u2014First International Workshop, DALI 2017, Brasilia, Brazil, September 23\u201324, 2017, Proceedings, pp. 1\u201316, 2017.","DOI":"10.1007\/978-3-319-73579-5_1"},{"key":"key\n\t\t\t\t20181024125316833_C9","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1017\/S1755020310000389","article-title":"The expressive power of memory logics","volume":"4","author":"Areces","year":"2011","journal-title":"The Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20181024125316833_C10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2011.10.002","article-title":"Unsorted functional translations","volume":"278","author":"Areces","year":"2011","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"key\n\t\t\t\t20181024125316833_C11","doi-asserted-by":"crossref","unstructured":"C. Areces and B.ten Cate. Hybrid logics. In Handbook of Modal Logic, P. Blackburn, F. Wolter and J. van Benthem, eds, pp. 821\u2013868. Elsevier, 2007.","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"key\n\t\t\t\t20181024125316833_C12","unstructured":"C. Areces , H.van Ditmarsch, R.Fervari and F.Schwarzentruber. Logics with copy and remove. In Logic, Language, Information, and Computation. Vol. 8652 of Lecture Notes in Computer Science, pp. 51\u201365. Springer, 2014."},{"key":"key\n\t\t\t\t20181024125316833_C13","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/j.ic.2017.01.004","article-title":"The modal logic of copy and remove","volume":"255","author":"Areces","year":"2017","journal-title":"Information and Computation"},{"key":"key\n\t\t\t\t20181024125316833_C14","unstructured":"G. Aucher , J.van Benthem and D.Grossi. Sabotage modal logic: some model and proof theoretic aspects. In Logic, Rationality, and Interaction\u20145th International Workshop, LORI 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings,Wiebe van der Hoek, Wesley H. Holliday and Wen-Fang Wang, eds, pp. 1\u201313. Vol. 9394 of Lecture Notes in Computer Science, Springer, 2015."},{"issue":"2","key":"key\n\t\t\t\t20181024125316833_C15","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":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20181024125316833_C16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","article-title":"Modal logic","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"Blackburn","year":"2001"},{"issue":"3","key":"key\n\t\t\t\t20181024125316833_C17","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01049415","article-title":"Hybrid languages","volume":"4","author":"Blackburn","year":"1995","journal-title":"Journal of Logic, Language and Information"},{"key":"key\n\t\t\t\t20181024125316833_C18","doi-asserted-by":"crossref","unstructured":"P. Blackburn and J.van Benthem. Modal logic: a semantic perspective. In Handbook of Modal Logic, pp. 1\u201384. Elsevier, 2007.","DOI":"10.1016\/S1570-2464(07)80004-8"},{"key":"key\n\t\t\t\t20181024125316833_C19","volume-title":"Relation-Changing Modal Logics","author":"Fervari","year":"2014"},{"key":"key\n\t\t\t\t20181024125316833_C20","unstructured":"R. Fervari and F. R.Vel\u00e1zquez-Quesada. Dynamic epistemic logics of introspection. In Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings,A. Madeira and M. Benevides, eds, pp. 82\u201397. Vol. 10669 of Lecture Notes in Computer Science, Springer, 2017."},{"key":"key\n\t\t\t\t20181024125316833_C21","doi-asserted-by":"crossref","unstructured":"M. Franceschet , M.de Rijke, and B.Schlingloff. Hybrid logics on linear structures: expressivity and complexity. In TIME-ICTL 2003, Cairns, Queensland, Australia, pp. 166\u2013173, 2003.","DOI":"10.1109\/TIME.2003.1214893"},{"key":"key\n\t\t\t\t20181024125316833_C22","volume-title":"Fibring Logics","author":"Gabbay","year":"1999"},{"key":"key\n\t\t\t\t20181024125316833_C23","doi-asserted-by":"crossref","unstructured":"D. Gabbay . Introducing reactive Kripke semantics and arc accessibility. In Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday,A. Avron, N. Dershowitz, and A. Rabinovich, eds,pp. 292\u2013341. volume 4800 of Lecture Notes in Computer Science, Springer, 2008.","DOI":"10.1007\/978-3-540-78127-1_17"},{"key":"key\n\t\t\t\t20181024125316833_C24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-41389-6","volume-title":"Reactive Kripke Semantics","author":"Gabbay","year":"2013"},{"key":"key\n\t\t\t\t20181024125316833_C25","unstructured":"N. Gierasimczuk , L.Kurzen and F. R.Vel\u00e1zquez-Quesada. Learning and teaching as a game: a sabotage approach. In LORI, X. He, J. F. Horty and E. Pacuit, eds, pp. 119\u2013132.Vol. 5834 ofLecture Notes in Computer Science, Springer, 2009."},{"key":"key\n\t\t\t\t20181024125316833_C26","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20181024125316833_C27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2009.02.026","article-title":"Htab: a terminating tableaux system for hybrid logic","volume":"231","author":"Hoffmann","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"key\n\t\t\t\t20181024125316833_C28","first-page":"36","article-title":"Optimised functional translation and resolution","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX\u201998, Oisterwijk, The Netherlands, Proceedings, volume 1397 of Lecture Notes in Computer Science,","author":"Hustadt","year":"1998"},{"key":"key\n\t\t\t\t20181024125316833_C29","doi-asserted-by":"crossref","unstructured":"Ch. L\u00f6ding and P.Rohde. Model checking and satisfiability for sabotage modal logic. In FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science: 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings,P. Pandya and J. Radhakrishnan, eds,pp. 302\u2013313, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003.","DOI":"10.1007\/978-3-540-24597-1_26"},{"key":"key\n\t\t\t\t20181024125316833_C30","volume-title":"On the Undecidability of Relation-Changing Logics","author":"Martel","year":"2015"},{"key":"key\n\t\t\t\t20181024125316833_C31","unstructured":"M. Marx . Narcissists, stepmothers and spies. In Proceedings of DL\u201902, volume 53. CEUR, 2002."},{"key":"key\n\t\t\t\t20181024125316833_C32","volume-title":"Modal Memory Logics","author":"Mera","year":"2009"},{"key":"key\n\t\t\t\t20181024125316833_C33","volume-title":"On Games and Logics over Dynamically Changing Structures","author":"Rohde","year":"2006"},{"key":"key\n\t\t\t\t20181024125316833_C34","article-title":",","volume-title":"The Complexity of Hybrid Logics over Restricted Frame Classes","author":"Schneider","year":"2007"},{"key":"key\n\t\t\t\t20181024125316833_C35","volume-title":"Complexity of Modal Logics","author":"Spaan","year":"1993"},{"key":"key\n\t\t\t\t20181024125316833_C36","author":"ten Cate","year":"2005"},{"key":"key\n\t\t\t\t20181024125316833_C37","unstructured":"B. ten Cate and M.Franceschet. On the complexity of hybrid logics with binders. Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings, L. Ong, ed., pp. 339\u2013354, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005."},{"key":"key\n\t\t\t\t20181024125316833_C38","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/978-3-540-32254-2_16","article-title":"An essay on sabotage and obstruction","author":"van Benthem","year":"2005","journal-title":"Mechanizing Mathematical Reasoning"},{"key":"key\n\t\t\t\t20181024125316833_C39","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"},{"key":"key\n\t\t\t\t20181024125316833_C40","doi-asserted-by":"crossref","unstructured":"P. Van Emde Boas . The convenience of tilings. In Complexity, Logic, and Recursion Theory, pp. 331\u2013363. Marcel Dekker Inc, 1997.","DOI":"10.1201\/9780429187490-12"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/7\/1443\/26152917\/exy022.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T01:30:38Z","timestamp":1751765438000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/7\/1443\/5069582"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,13]]},"references-count":40,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2018,8,13]]},"published-print":{"date-parts":[[2018,10,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exy022","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2018,10]]},"published":{"date-parts":[[2018,8,13]]}}}