{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T12:07:40Z","timestamp":1775736460095,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319735788","type":"print"},{"value":"9783319735795","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73579-5_1","type":"book-chapter","created":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T21:32:44Z","timestamp":1514842364000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Undecidability of Relation-Changing Modal Logics"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauricio","family":"Martel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,3]]},"reference":[{"key":"1_CR1","unstructured":"Areces, C.: Hybrid logics: the old and the new. In: Proceedings of LogKCA 2007, pp. 15\u201329 (2007)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-32621-9_11","volume-title":"Logic, Language, Information and Computation","author":"C Areces","year":"2012","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Moving arrows and four model checking results. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 142\u2013153. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32621-9_11"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-40885-4_19","volume-title":"Frontiers of Combining Systems","author":"C Areces","year":"2013","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Tableaux for relation-changing modal logics. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS (LNAI), vol. 8152, pp. 263\u2013278. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40885-4_19"},{"issue":"2","key":"1_CR4","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1093\/jigpal\/jzt030","volume":"22","author":"C Areces","year":"2014","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Logic J. IGPL 22(2), 309\u2013332 (2014)","journal-title":"Logic J. IGPL"},{"issue":"4","key":"1_CR5","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1093\/jigpal\/jzv020","volume":"23","author":"C Areces","year":"2015","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Logic J. IGPL 23(4), 601\u2013627 (2015)","journal-title":"Logic J. IGPL"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Areces, C., Fervari, R., Hoffmann, G., Martel, M.: Relation-changing logics as fragments of hybrid logics. In: Cantone, D., Delzanno, G. (eds.) Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Italy. EPTCS, vol. 226, pp. 16\u201329 (2016)","DOI":"10.4204\/EPTCS.226.2"},{"issue":"2","key":"1_CR7","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1017\/S1755020310000389","volume":"4","author":"C Areces","year":"2011","unstructured":"Areces, C., Figueira, D., Figueira, S., Mera, S.: The expressive power of memory logics. Rev. Symb. Logic 4(2), 290\u2013318 (2011)","journal-title":"Rev. Symb. Logic"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logic, pp. 821\u2013868. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-662-44145-9_4","volume-title":"Logic, Language, Information, and Computation","author":"C Areces","year":"2014","unstructured":"Areces, C., van Ditmarsch, H., Fervari, R., Schwarzentruber, F.: Logics with copy and remove. In: Kohlenbach, U., Barcel\u00f3, P., de Queiroz, R. (eds.) WoLLIC 2014. LNCS, vol. 8652, pp. 51\u201365. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44145-9_4"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Areces, C., van Ditmarsch, H., Fervari, R., Schwarzentruber, F.: The modal logic of copy and remove. To Appear in Information and Computation (2015). Special Issue of WoLLIC 2014","DOI":"10.1007\/978-3-662-44145-9_4"},{"key":"1_CR11","unstructured":"Aucher, G., Schwarzentruber, F.: On the complexity of dynamic epistemic logic. In: Proceedings of TARK 2013, Chennai, India, January 2013"},{"key":"1_CR12","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, New York (2001)"},{"issue":"3","key":"1_CR13","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P Blackburn","year":"1995","unstructured":"Blackburn, P., Seligman, J.: Hybrid languages. J. Logic Lang. Inf. 4(3), 251\u2013272 (1995)","journal-title":"J. Logic Lang. Inf."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Blackburn, P., van Benthem, J.: Modal logic: a semantic perspective. In: Handbook of Modal Logic, pp. 1\u201384. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80004-8"},{"key":"1_CR15","unstructured":"Fervari, R.: Relation-Changing Modal Logics. Ph.D. thesis, Universidad Nacional de C\u00f3rdoba, Argentina (2014)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-24597-1_26","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"C L\u00f6ding","year":"2003","unstructured":"L\u00f6ding, C., Rohde, P.: Model checking and satisfiability for sabotage modal logic. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 302\u2013313. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-24597-1_26"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Complexity and succinctness of public announcement logic. In: Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2006, New York, NY, USA, pp. 137\u2013143 (2006)","DOI":"10.1145\/1160633.1160657"},{"key":"1_CR18","unstructured":"Marx, M.: Narcissists, stepmothers and spies. In: Proceedings of DL 2002, vol. 53. CEUR (2002)"},{"key":"1_CR19","unstructured":"Mera, S.: Modal memory logics. Ph.D. thesis, Universit\u00e9 Henri Poincar\u00e9, Nancy, France and Universidad de Buenos Aires, Argentina (2009)"},{"key":"1_CR20","unstructured":"Rohde, P.: On games and logics over dynamically changing structures. Ph.D. thesis, RWTH Aachen (2006)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-32254-2_16","volume-title":"Mechanizing Mathematical Reasoning","author":"J Benthem","year":"2005","unstructured":"Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268\u2013276. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-32254-2_16"},{"key":"1_CR22","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library. Springer, Dordrecht (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73579-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T18:33:55Z","timestamp":1570559635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73579-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319735788","9783319735795"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73579-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}