{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T23:47:30Z","timestamp":1771890450380,"version":"3.50.1"},"reference-count":17,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1016\/j.apal.2011.09.005","type":"journal-article","created":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T13:33:33Z","timestamp":1321536813000},"page":"961-972","source":"Crossref","is-referenced-by-count":4,"title":["Completeness results for memory logics"],"prefix":"10.1016","volume":"163","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[]},{"given":"Santiago","family":"Figueira","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Mera","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.apal.2011.09.005_br000005","series-title":"Journal of the ACM","first-page":"164","article-title":"A really temporal logic","author":"Alur","year":"1989"},{"key":"10.1016\/j.apal.2011.09.005_br000010","unstructured":"C. Areces, Hybrid logics: the old and the new, in: Proceedings of LogKCA-07, San Sebastian, Spain, 2007, pp. 15\u201329."},{"key":"10.1016\/j.apal.2011.09.005_br000015","series-title":"Logic, Language, Information and Computation","first-page":"56","article-title":"Expressive power and decidability for memory logics","volume":"vol. 5110","author":"Areces","year":"2008"},{"issue":"2","key":"10.1016\/j.apal.2011.09.005_br000020","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":"10.1016\/j.apal.2011.09.005_br000025","doi-asserted-by":"crossref","unstructured":"C. Areces, B. ten Cate, Hybrid logics, in: Blackburn et al. [9], pp. 821\u2013868.","DOI":"10.1016\/S1570-2464(07)80017-6"},{"issue":"3","key":"10.1016\/j.apal.2011.09.005_br000030","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","article-title":"Representation, reasoning, and relational structures: a hybrid logic manifesto","volume":"8","author":"Blackburn","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/j.apal.2011.09.005_br000035","series-title":"Modal Logic","author":"Blackburn","year":"2001"},{"issue":"4","key":"10.1016\/j.apal.2011.09.005_br000040","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1093\/jigpal\/6.4.625","article-title":"Hybrid completeness","volume":"6","author":"Blackburn","year":"1998","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/j.apal.2011.09.005_br000045","series-title":"Handbook of Modal Logics","year":"2006"},{"key":"10.1016\/j.apal.2011.09.005_br000050","unstructured":"J. Gerbrandy, Bisimulations on planet Kripke, Ph.D. Thesis, University of Amsterdam, iLLC Dissertation series DS-1999-01, 1999."},{"key":"10.1016\/j.apal.2011.09.005_br000055","doi-asserted-by":"crossref","unstructured":"E. Harel, O. Lichtenstein, A. Pnueli, Explicit clock temporal logic, in: Proceedings of LICS\u201990, 1990, pp. 402\u2013413.","DOI":"10.1109\/LICS.1990.113765"},{"key":"10.1016\/j.apal.2011.09.005_br000060","series-title":"Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing","first-page":"281","article-title":"Half-order modal logic: how to prove real-time properties","author":"Henzinger","year":"1990"},{"key":"10.1016\/j.apal.2011.09.005_br000065","unstructured":"C. Lutz, The complexity of reasoning with concrete domains, Ph.D. Thesis, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2002."},{"key":"10.1016\/j.apal.2011.09.005_br000070","unstructured":"J. Plaza, Logics of public communications, in: 4th International Symposium on Methodologies for Intelligent Systems, 1989, pp. 201\u2013216."},{"key":"10.1016\/j.apal.2011.09.005_br000075","series-title":"TARK\u201901: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge","first-page":"51","article-title":"Logics for information update","author":"van Benthem","year":"2001"},{"issue":"11","key":"10.1016\/j.apal.2011.09.005_br000080","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","article-title":"Logics of communication and change","volume":"204","author":"van Benthem","year":"2006","journal-title":"Information and Computation"},{"key":"10.1016\/j.apal.2011.09.005_br000085","series-title":"Dynamic Epistemic Logic","author":"van Ditmarsch","year":"2007"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007211001278?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007211001278?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T14:58:41Z","timestamp":1560956321000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007211001278"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":17,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["S0168007211001278"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2011.09.005","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}