{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:36:52Z","timestamp":1753889812211,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2007,2,23]],"date-time":"2007-02-23T00:00:00Z","timestamp":1172188800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/assumed-1991-2003"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We prove a conjecture by A. Pnueli and strengthen it showing a sequence of\n\"counting modalities\" none of which is expressible in the temporal logic\ngenerated by the previous modalities, over the real line, or over the positive\nreals. Moreover, there is no finite temporal logic that can express all of them\nover the real line, so that no finite metric temporal logic is expressively\ncomplete.<\/jats:p>","DOI":"10.2168\/lmcs-3(1:3)2007","type":"journal-article","created":{"date-parts":[[2008,6,3]],"date-time":"2008-06-03T11:49:24Z","timestamp":1212493764000},"source":"Crossref","is-referenced-by-count":15,"title":["Expressiveness of Metric modalities for continuous time"],"prefix":"10.46298","volume":"Volume 3, Issue 1","author":[{"given":"Yoram","family":"Hirshfeld","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1460-2358","authenticated-orcid":false,"given":"Alexander","family":"Rabinovich","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2007,2,23]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/2225\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/2225\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:09:55Z","timestamp":1681243795000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/2225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2,23]]},"references-count":0,"URL":"https:\/\/doi.org\/10.2168\/lmcs-3(1:3)2007","relation":{"is-same-as":[{"id-type":"arxiv","id":"cs\/0611119","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.cs\/0611119","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2007,2,23]]},"article-number":"2225"}}