{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:40:04Z","timestamp":1725525604871},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926863"},{"type":"electronic","value":"9783540926870"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92687-0_2","type":"book-chapter","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T09:25:38Z","timestamp":1234257938000},"page":"16-30","source":"Crossref","is-referenced-by-count":1,"title":["Completeness Results for Memory Logics"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[]},{"given":"Santiago","family":"Figueira","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Mera","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.: A really temporal logic. Journal of the ACM, 164\u2013169 (1989)","DOI":"10.1109\/SFCS.1989.63473"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Areces, C.: Hybrid logics: The old and the new. In: Proceedings of LogKCA 2007, San Sebastian, Spain (2007)","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","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, vol.\u00a05110, pp. 56\u201368. Springer, Heidelberg (2008)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Areces, C., Figueira, D., Figueira, S., Mera, S.: Expressive power and decidability for memory logics. Journal of Computer and System Sciences (submitted, 2008); Extended version of [3]","DOI":"10.1007\/978-3-540-69937-8_7"},{"key":"2_CR5","volume-title":"Handbook of Modal Logics","author":"C. Areces","year":"2006","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics. Elsevier, Amsterdam (2006)"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL\u00a08(3), 339\u2013625 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"2_CR7","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 University Press, Cambridge (2001)"},{"issue":"4","key":"2_CR8","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/jigpal\/6.4.625","volume":"6","author":"P. Blackburn","year":"1998","unstructured":"Blackburn, P., Tzakova, M.: Hybrid completeness. Logic Journal of the IGPL\u00a06(4), 625\u2013650 (1998)","journal-title":"Logic Journal of the IGPL"},{"key":"2_CR9","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, ILLC Dissertation series DS-1999-01 (1999)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Harel, E., Lichtenstein, O., Pnueli, A.: Explicit clock temporal logic. In: Proceedings of LICS 1990, pp. 402\u2013413 (1990)","DOI":"10.1109\/LICS.1990.113765"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/93385.93429","volume-title":"Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing","author":"T. Henzinger","year":"1990","unstructured":"Henzinger, T.: Half-order modal logic: How to prove real-time properties. In: Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing, pp. 281\u2013296. ACM Press, New York (1990)"},{"key":"2_CR12","unstructured":"Lutz, C.: The complexity of reasoning with concrete domains. PhD thesis, LuFG Theoretical Computer Science, RWTH Aachen, Germany (2002)"},{"key":"2_CR13","unstructured":"Plaza, J.: Logics of public communications. In: 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216 (1989)"},{"key":"2_CR14","first-page":"51","volume-title":"TARK 2001: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge","author":"J. Benthem van","year":"2001","unstructured":"van Benthem, J.: Logics for information update. In: TARK 2001: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 51\u201367. Morgan Kaufmann Publishers Inc, San Francisco (2001)"},{"issue":"11","key":"2_CR15","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"2_CR16","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. Kluwer academic publishers, Dordrecht (2007)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92687-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T23:09:29Z","timestamp":1558134569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92687-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926863","9783540926870"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92687-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}