{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:58:34Z","timestamp":1725796714389},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441152"},{"type":"electronic","value":"9783662441169"}],"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-44116-9_7","type":"book-chapter","created":{"date-parts":[[2014,7,10]],"date-time":"2014-07-10T03:50:37Z","timestamp":1404964237000},"page":"91-108","source":"Crossref","is-referenced-by-count":0,"title":["The Impact of Including Model Update Operators in Modal Logics"],"prefix":"10.1007","author":[{"given":"Raul","family":"Fervari","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_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)"},{"key":"7_CR2","series-title":"LNAI","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.\u00a08152, pp. 263\u2013278. Springer, Heidelberg (2013)"},{"issue":"2","key":"7_CR3","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":"7_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-69937-8_7","volume-title":"Logic, Language, Information and Computation","author":"C. Areces","year":"2008","unstructured":"Areces, C., Figueira, D., Figueira, S., Mera, S.: Expressive power and decidability for memory logics. In: Hodges, W., de Queiroz, R. (eds.) Logic, Language, Information and Computation. LNCS (LNAI), vol.\u00a05110, pp. 56\u201368. Springer, Heidelberg (2008)"},{"issue":"2","key":"7_CR5","doi-asserted-by":"publisher","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. The Review of Symbolic Logic\u00a04(2), 290\u2013318 (2011)","journal-title":"The Review of Symbolic Logic"},{"key":"7_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-02716-1_5","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"C. Areces","year":"2009","unstructured":"Areces, C., Figueira, D., Gor\u00edn, D., Mera, S.: Tableaux and model checking for memory logics. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS (LNAI), vol.\u00a05607, pp. 47\u201361. Springer, Heidelberg (2009)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.entcs.2009.02.042","volume":"231","author":"G. Aucher","year":"2009","unstructured":"Aucher, G., Balbiani, P., Fari\u00f1as Del Cerro, L., Herzig, A.: Global and local graph modifiers. Electronic Notes in Theoretical Computer Science (ENTCS), Special issue Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007)\u00a0231, 293\u2013307 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science (ENTCS), Special issue Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Comp. Scie, vol.\u00a053. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Blackburn, P., van Benthem, J.: Modal logic: A semantic perspective. In: Handbook of Modal Logic. Elsevier, North-Holland (2006)","DOI":"10.1016\/S1570-2464(07)80004-8"},{"key":"7_CR10","unstructured":"Enderton, H.: A mathematical introduction to logic. Academic Press (1972)"},{"key":"7_CR11","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)"},{"issue":"2","key":"7_CR12","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. Fischer","year":"1979","unstructured":"Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci.\u00a018(2), 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.artint.2013.02.003","volume":"197","author":"T. French","year":"2013","unstructured":"French, T., van der Hoek, W., Iliev, P., Kooi, B.: On the succinctness of some modal logics. Artificial Intelligence\u00a0197, 56\u201385 (2013)","journal-title":"Artificial Intelligence"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic. Vol. II. Synthese Library, vol.\u00a0165, pp. 497\u2013604. D. Reidel Publishing Co., Dordrecht (1984); Extensions of classical logic","DOI":"10.1007\/978-94-009-6259-0_10"},{"issue":"4","key":"7_CR15","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"},{"issue":"3","key":"7_CR16","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R. Ladner","year":"1977","unstructured":"Ladner, R.: The computational complexity of provability in systems of modal propositional logic. SIAM J. Comput.\u00a06(3), 467\u2013480 (1977)","journal-title":"SIAM J. Comput."},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/978-3-540-45138-9_47","volume-title":"Mathematical Foundations of Computer Science 2003","author":"C. L\u00f6ding","year":"2003","unstructured":"L\u00f6ding, C., Rohde, P.: Solving the sabotage game is PSPACE-hard. In: Rovan, B., Vojt\u00e1\u0161, P. (eds.) MFCS 2003. LNCS, vol.\u00a02747, pp. 531\u2013540. Springer, Heidelberg (2003)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Complexity and succinctness of public announcement logic. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) AAMAS, pp. 137\u2013143. ACM (2006)","DOI":"10.1145\/1160633.1160657"},{"key":"7_CR19","unstructured":"Mera, S.: Modal Memory Logics. PhD thesis, Univ. de Buenos Aires and UFR STMIA - Ecole Doctorale IAEM Lorraine D\u00e9p. de Form. Doct. en Informat. (2009)"},{"issue":"2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J. Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese\u00a0158(2), 165\u2013179 (2007)","journal-title":"Synthese"},{"key":"7_CR21","unstructured":"Rohde, P.: On games and logics over dynamically changing structures. PhD thesis, RWTH Aachen (2006)"},{"key":"7_CR22","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":"7_CR23","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","Pristine Perspectives on Logic, Language, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44116-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T07:52:48Z","timestamp":1558943568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44116-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441152","9783662441169"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44116-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}