{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T11:36:06Z","timestamp":1775734566934,"version":"3.50.1"},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/time.2003.1214893","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"166-173","source":"Crossref","is-referenced-by-count":14,"title":["Hybrid logics on linear structures: expressivity and complexity"],"prefix":"10.1109","author":[{"given":"M.","family":"Franceschet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"de Rijke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.-H.","family":"Schlingloff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.3094"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537694.001.0001","volume":"28","author":"gabbay","year":"1994","journal-title":"Temporal Logic Mathematical Foundations and Computational Aspects Oxford logic guides"},{"key":"ref12","first-page":"5","article-title":"Elementary properties of ordered abelian groups","volume":"3","author":"gurevich","year":"1964","journal-title":"Algebra and Logic"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80366-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF00713542"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(03)00005-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36577-X_3","article-title":"Bounded model checking for past LTL","author":"benedetti","year":"2003","journal-title":"Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2695090"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"ref5","first-page":"193","article-title":"Symbolic model checking using SAT procedures instead of BDDs","author":"biere","year":"1999","journal-title":"Proceedings of Design Automation Conference volume 1579 of Lectures Notes in Computer Science"},{"key":"ref8","first-page":"i","article-title":"On a decision method in restricted second-order arithmetic","author":"b\u00fcchi","year":"1962","journal-title":"6th International Congress for Logic Methodology and Philosophy of Science"},{"key":"ref7","first-page":"41","article-title":"What are hybrid languages?","author":"blackburn","year":"1998","journal-title":"Advances in Modal Logic Volume 1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.5.653"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48168-0_22"},{"key":"ref9","article-title":"Improving the enconding of LTL model checking into SAT","author":"cimatti","year":"2002","journal-title":"Proceedings of the Workshop on Verification Model Checking and Abstract Interpretation (VMCAI 2002) volume 2294 of Lectures Notes in Computer Science"}],"event":{"name":"10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003","location":"Cairns, Qld., Australia","acronym":"TIME-03"},"container-title":["10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8624\/27321\/01214893.pdf?arnumber=1214893","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:09:03Z","timestamp":1734221343000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1214893\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/time.2003.1214893","relation":{},"subject":[]}}