{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:39:23Z","timestamp":1725799163097},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441442"},{"type":"electronic","value":"9783662441459"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44145-9_4","type":"book-chapter","created":{"date-parts":[[2014,8,22]],"date-time":"2014-08-22T21:10:45Z","timestamp":1408741845000},"page":"51-65","source":"Crossref","is-referenced-by-count":5,"title":["Logics with Copy and Remove"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[]},{"given":"Hans","family":"van Ditmarsch","sequence":"additional","affiliation":[]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[]},{"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","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.\u00a07456, pp. 142\u2013153. Springer, Heidelberg (2012)"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","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 Journal of the IGPL\u00a022(2), 309\u2013332 (2014)","journal-title":"Logic Journal of the IGPL"},{"key":"4_CR3","unstructured":"Aucher, G., Schwarzentruber, F.: On the complexity of dynamic epistemic logic. In: Proceedings of TARK 2013, Chennai, India (January 2013)"},{"key":"4_CR4","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Gilboa, I. (ed.) TARK 1998, Evanstin, IL, USA, pp. 43\u201356. Morgan Kaufmann (July 1998)"},{"key":"4_CR5","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","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, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"key":"4_CR6","unstructured":"Fervari, R.: Relation-Changing Modal Logics. PhD thesis, Facultad de Matem\u00e1tica Astronom\u00eda y F\u00edsica, Universidad Nacional de C\u00f3rdoba, C\u00f3rdoba, Argentina (March 2014)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Gor\u00e9, R.: Tableau methods for modal and temporal logics. In: Handbook of Tableau Methods, pp. 297\u2013396 (1999)","DOI":"10.1007\/978-94-017-1754-0_6"},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1017\/S1755020311000189","volume":"4","author":"B. Kooi","year":"2011","unstructured":"Kooi, B., Renne, B.: Arrow update logic. Review of Symbolic Logic\u00a04(4), 536\u2013559 (2011)","journal-title":"Review of Symbolic Logic"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Kooi, B., Renne, B.: Generalized arrow update logic. In: Apt, K. (ed.) TARK, pp. 205\u2013211. ACM (2011)","DOI":"10.1145\/2000378.2000403"},{"key":"4_CR10","series-title":"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 van","year":"2005","unstructured":"van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol.\u00a02605, pp. 268\u2013276. Springer, Heidelberg (2005)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-05301-6_4","volume-title":"Knowledge Representation for Agents and Multi-Agent Systems","author":"H. Ditmarsch van","year":"2009","unstructured":"van Ditmarsch, H., French, T.: Simulation and information: Quantifying over epistemic events. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS, vol.\u00a05605, pp. 51\u201365. Springer, Heidelberg (2009)"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1080\/11663081.2012.705964","volume":"22","author":"H. Ditmarsch van","year":"2012","unstructured":"van Ditmarsch, H., Herzig, A., De Lima, T.: Public announcements, public assignments and the complexity of their logic. Journal of Applied Non-Classical Logics\u00a022(3), 249\u2013273 (2012)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"4_CR13","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"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44145-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:12:25Z","timestamp":1558962745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44145-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441442","9783662441459"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44145-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}