{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:27:30Z","timestamp":1770283650278,"version":"3.49.0"},"reference-count":109,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.311-347","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T09:06:10Z","timestamp":1176282370000},"page":"311-347","source":"Crossref","is-referenced-by-count":15,"title":["Linear-time temporal logics with Presburger constraints: an overview \u2605"],"prefix":"10.1080","volume":"16","author":[{"given":"St\u00e9phane","family":"Demri","sequence":"first","affiliation":[{"name":"a  LSV, CNRS & INRIA Futurs projet SECSI & ENS Cachan , 61, av. Pdt. Wilson,  94235 , Cachan CEDEX,  France"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90138-2"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1145\/174644.174651"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"CIT0005","first-page":"452","volume-title":"12th International Joint Conference on Artificial Intelligence","author":"BAADER F.","year":"1991"},{"key":"CIT0006","first-page":"162","volume-title":"Frontiers of Combining Systems (FroCoS'02), vol. 2309 of Lecture Notes in Artificial Intelligence","author":"BALBIANI P."},{"issue":"2","key":"CIT0007","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF00379767","volume":"44","author":"BARNABA M. F.","year":"1985","journal-title":"Studia Logica"},{"key":"CIT0008","first-page":"472","volume-title":"22nd VLDB","author":"BERTINO E.","year":"1996"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"CIT0010","volume-title":"Symbolic methods for exploring infinite state spaces","author":"BOIGELOT B.","year":"1998"},{"key":"CIT0011","first-page":"1","volume-title":"ICLP 2002, vol. 2401 of Lecture Notes in Computer Science","author":"BOIGELOT B.","year":"2002"},{"key":"CIT0012","first-page":"7","volume-title":"ICS'06","author":"BOJA\u0143 CZYK M.","year":"2006"},{"key":"CIT0013","first-page":"500","volume-title":"RTA'05, vol. 3467 of Lecture Notes in Computer Science","author":"BONEVA I.","year":"2005"},{"key":"CIT0014","first-page":"123","author":"BOUAJJANI A.","year":"1995","journal-title":"LICS'95"},{"key":"CIT0015","first-page":"481","volume-title":"CONCUR'96, vol. 1119 of Lecture Notes in Computer Science","author":"BOUAJJANI A.","year":"1996"},{"key":"CIT0016","first-page":"135","volume-title":"CONCUR'97, vol. 1243 of LNCS","author":"BOUAJJANI A.","year":"1997"},{"key":"CIT0017","volume-title":"LPAR'06","author":"BOZZELLI L.","year":"2006"},{"key":"CIT0018","first-page":"513","volume-title":"JELIA'04, vol. 3229 of Lecture Notes in Computer Science","author":"BRESOLIN D.","year":"2004"},{"key":"CIT0019","first-page":"687","volume-title":"STACS'03, vol. 2607 of Lecture Notes in Computer Science","author":"BRUY\u00c8RE V.","year":"2003"},{"key":"CIT0020","first-page":"400","volume-title":"CAV'97, vol. 1254 of Lecture Notes in Computer Science","author":"BULTAN T.","year":"1997"},{"key":"CIT0021","first-page":"178","volume-title":"Description Logics Handbook","author":"CALVANESE D.","year":"2005"},{"key":"CIT0022","first-page":"339","volume-title":"CSL'05, vol. 3634 of Lecture Notes in Computer Science","author":"TEN CATE B.","year":"2005"},{"key":"CIT0023","first-page":"35","volume-title":"ICALP-21, vol. 820 of Lecture Notes in Computer Science","author":"\u010cER\u0100NS K.","year":"1994"},{"key":"CIT0024","first-page":"62","volume-title":"6th Int. Conference on Logic Programming and Automated Reasoning, Tbilisi, Republic of Georgia (LPAR'99), vol. 1705 of Lecture Notes in Computer Science","author":"CERRITO S."},{"key":"CIT0025","first-page":"85","author":"CHITIC C.","year":"2004","journal-title":"WebDB, Paris"},{"key":"CIT0026","first-page":"268","volume-title":"Proc. Computer Aided Verification, Vancouver, vol. 1427 of Lecture Notes in Computer Science","author":"COMON H."},{"key":"CIT0027","first-page":"262","volume-title":"14 Int. Workshop Computer Science Logic, vol. 1862 of Lecture Notes in Computer Science","author":"COMON H."},{"key":"CIT0028","first-page":"134","volume-title":"Int. Symposium on Temporal Representation and Reasoning","author":"COMBI C."},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2003001"},{"issue":"1","key":"CIT0030","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/jigpal\/7.1.55","volume":"7","author":"DAMS D.","year":"1999","journal-title":"Logic Journal of the IGPL"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00485-1"},{"key":"CIT0032","volume-title":"Mots et donn\u00e9es infinies","author":"DAVID C.","year":"2004"},{"key":"CIT0033","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(92)90043-W","volume":"55","author":"DECHTER R.","year":"1992","journal-title":"Artificial Intelligence"},{"key":"CIT0034","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1021352309671","volume":"72","author":"DEGTYAREV A.","year":"2002","journal-title":"Studia Logica"},{"key":"CIT0035","first-page":"121","volume-title":"FST&TCS'02, Kanpur, vol. 2556 of Lecture Notes in Computer Science","author":"DEMRI S.","year":"2002"},{"key":"CIT0036","volume-title":"An automata-theoretic approach to constraint LTL","author":"DEMRI S.","year":"2003"},{"key":"CIT0037","first-page":"121","volume-title":"FOSSACS'04, vol. 2987 of Lecture Notes in Computer Science","author":"DEMRI S.","year":"2004"},{"key":"CIT0038","first-page":"518","volume-title":"Proceedings of the 16th International Conference on Concurrency Theory (CONCUR'05), vol. 3653 of Lecture Notes in Computer Science","author":"DEMRI S.","year":"2005"},{"key":"CIT0039","first-page":"113","volume-title":"12th Int. Symp. on Temporal Representation and Reasoning","author":"DEMRI S."},{"key":"CIT0040","first-page":"248","volume-title":"ATVA'05, vol. 3707 of Lecture Notes in Computer Science","author":"DEMRI S.","year":"2005"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.02.019"},{"key":"CIT0042","first-page":"493","volume-title":"Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), vol. 4218 of Lecture Notes in Computer Science","author":"DEMRI S.","year":"2006"},{"key":"CIT0043","volume-title":"The effects of bounding syntactic resourses on Presburger LTL","author":"DEMRI S.","year":"2006"},{"key":"CIT0044","first-page":"17","volume-title":"LICS'06","author":"DEMRI S.","year":"2006"},{"key":"CIT0045","author":"DEMRI S.","year":"2006","journal-title":"Information and Computation"},{"key":"CIT0046","first-page":"541","volume-title":"3rd International Joint Conference on Automated Reasoning (IJCAR'06), Seattle, vol. 4130 of Lecture Notes in Computer Science","author":"DEMRI S."},{"key":"CIT0047","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/1055558.1055571","author":"DEUTSCH A.","year":"2004","journal-title":"PODS'04, Paris"},{"issue":"4","key":"CIT0048","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1305\/ndjfl\/1093890715","volume":"13","author":"FINE K.","year":"1972","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CIT0049","volume-title":"INFINITY'97, vol. 9 of ENTCS","author":"FINKEL A.","year":"1997"},{"key":"CIT0050","first-page":"346","volume-title":"17th Ann. Symp. Theoretical Aspects of Computer Science, vol. 2256 of Lecture Notes in Computer Science","author":"FINKEL A."},{"key":"CIT0051","first-page":"145","volume-title":"FST&TCS'02, Kanpur, vol. 2256 of Lecture Notes in Computer Science","author":"FINKEL A.","year":"2002"},{"key":"CIT0052","first-page":"27","volume-title":"Complexity of Computation, vol. 7 of SIAM-AMS proceedings","author":"FISCHER M."},{"issue":"6","key":"CIT0053","doi-asserted-by":"crossref","first-page":"1017","DOI":"10.1093\/logcom\/12.6.1017","volume":"12","author":"FITTING M.","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"CIT0054","first-page":"155","volume-title":"TIME-ICTL 2003","author":"FRENCH T.","year":"2003"},{"key":"CIT0055","volume-title":"Manydimensional modal logics: theory and practice","author":"GABBAY D.","year":"2003"},{"key":"CIT0056","first-page":"460","volume-title":"FLAIRS'03, St Augustine, Florida","author":"GABELAIA D.","year":"2003"},{"key":"CIT0057","first-page":"222","volume-title":"CONCUR'03, vol. 2761 of Lecture Notes in Computer Science","author":"GASTIN P.","year":"2003"},{"key":"CIT0058","first-page":"54","volume-title":"Proceedings of the 4th Workshop on Methods for Modalities (M4M'05), vol. 194 of Informatik Bericht","author":"GASCON R."},{"key":"CIT0059","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1966.16.285"},{"key":"CIT0060","first-page":"281","volume-title":"9th Annual ACM Symposium on Principles of Distributed Computing","author":"HENZINGER T."},{"issue":"2","key":"CIT0061","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1016\/S0890-5401(03)00163-9","volume":"187","author":"HIRSHFELD Y.","year":"2003","journal-title":"Information and Computation"},{"key":"CIT0062","first-page":"1","volume":"62","author":"HIRSHFELD Y.","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"CIT0063","first-page":"91","volume-title":"10th Int. Symp. Temporal Representation and Reasoning and 4th Int. Conf. Temporal Logic (TIME-ICTL)","author":"HODKINSON I."},{"issue":"3","key":"CIT0064","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1093\/logcom\/5.3.325","volume":"5","author":"VAN DER HOEK W.","year":"1995","journal-title":"Journal of Logic and Computation"},{"key":"CIT0065","first-page":"335","volume-title":"KR'91","author":"HOLLUNDER B.","year":"1991"},{"key":"CIT0066","doi-asserted-by":"publisher","DOI":"10.1145\/322047.322058"},{"key":"CIT0067","first-page":"426","volume-title":"MFCS'00, vol. 1893 of Lecture Notes in Computer Science","author":"IBARRA O.","year":"2000"},{"key":"CIT0068","first-page":"244","volume-title":"International Symposium on Algorithms and Computation (ISAAC'01), vol. 2223 of Lecture Notes in Computer Science","author":"IBARRA O."},{"key":"CIT0069","volume-title":"Tense Logic and the theory of linear order","author":"KAMP J.","year":"1968"},{"key":"CIT0070","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0304-3975(90)90161-A","volume":"73","author":"KR\u00d6;GER F.","year":"1990","journal-title":"Theoretical Computer Science"},{"key":"CIT0071","first-page":"308","volume-title":"RTA'05, vol. 3467 of Lecture Notes in Computer Science","author":"LAFOURCADE P.","year":"2005"},{"key":"CIT0072","first-page":"279","volume-title":"Int. Symposium on Spatial and Temporal Databases, vol. 2121 of Lecture Notes in Computer Science","author":"LAGO U. D."},{"key":"CIT0073","first-page":"72","volume-title":"ICTCS 2003, vol. 2841 of Lecture Notes in Computer Science","author":"LAGO U. D.","year":"2003"},{"key":"CIT0074","volume-title":"ATVA'05, vol. 3707 of Lecture Notes in Computer Science","author":"LEROUX J.","year":"2005"},{"key":"CIT0075","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.1.55"},{"key":"CIT0076","first-page":"147","volume-title":"12th Int. Symp. on Temporal Representation and Reasoning","author":"LISITSA A."},{"key":"CIT0077","first-page":"265","volume-title":"Advances in Modal Logics Volume 4","author":"LUTZ C.","year":"2003"},{"issue":"4","key":"CIT0078","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1145\/1024922.1024925","volume":"5","author":"LUTZ C.","year":"2004","journal-title":"ACM Transactions on Computational Logic"},{"key":"CIT0079","first-page":"201","volume-title":"TABLEAUX'05, vol. 3702 of Lecture Notes in Computer Science","author":"LUTZ C.","year":"2005"},{"key":"CIT0080","first-page":"138","volume-title":"TIME'05","author":"LUTZ C.","year":"2005"},{"key":"CIT0081","volume-title":"Computation, Finite and Infinite Machines","author":"MINSKY M.","year":"1967"},{"key":"CIT0082","first-page":"46","volume-title":"ESOP'05, vol. 3444 of Lecture Notes in Computer Science","author":"M\u00dcLLER-OLM M.","year":"2005"},{"key":"CIT0083","first-page":"161","volume-title":"Proc. of the International Conference on Information and Knowledge Management, Baltimore, Maryland, vol. 752 ofLecture Notes in Computer Science","author":"NIEZETTE M."},{"key":"CIT0084","first-page":"337","volume-title":"12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'05), Montego Bay (Jamaica), vol. 3835 of Lecture Notes in Artificial Intelligence","author":"OHSAKI H."},{"key":"CIT0085","first-page":"598","volume-title":"KR'04","author":"PACUIT E.","year":"2004"},{"key":"CIT0086","first-page":"46","volume-title":"18th Annual Symposium on Foundations of Computer Science","author":"PNUELI A."},{"key":"CIT0087","first-page":"345","volume-title":"DTL'04, vol. 3340 of Lecture Notes in Computer Science","author":"POTAPOV I.","year":"2004"},{"key":"CIT0088","first-page":"92","volume-title":"Comptes Rendus du premier congr\u00e8s de math\u00e9maticiens des Pays Slaves, Warszawa","author":"PRESBURGER M.","year":"1929"},{"key":"CIT0089","volume-title":"Automata for branching and layered temporal structures","author":"PUPPIS G.","year":"2006"},{"key":"CIT0090","volume-title":"Introduction to Constraint Databases","author":"REVESZ P.","year":"2002"},{"key":"CIT0091","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(03)00005-9"},{"issue":"5","key":"CIT0092","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0020-0190(01)00337-4","volume":"83","author":"SCHNOEBELEN P.","year":"2002","journal-title":"Information Processing Letters"},{"key":"CIT0093","first-page":"437","volume-title":"Advances in Modal Logic, vol. 4, selected papers from 4th Conf. Advances in Modal Logic (AiML'2002), Sep.-Oct. 2002, Toulouse, France","author":"SCHNOEBELEN P.","year":"2003"},{"key":"CIT0094","first-page":"231","volume-title":"CS'06","author":"SCHR\u00d6DER L.","year":"2006"},{"key":"CIT0095","first-page":"1136","volume-title":"ICALP'04, vol. 3142 of Lecture Notes in Computer Science","author":"SEIDL H.","year":"2004"},{"key":"CIT0096","volume-title":"Contribution \u00e0 l'\u00e9tude des jeux sur des graphes de processus de pile","author":"SERRE O.","year":"2004"},{"key":"CIT0097","first-page":"337","volume-title":"FOSSACS'06, vol. 3921 of Lecture Notes in Computer Science","author":"SERRE O.","year":"2006"},{"key":"CIT0098","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"issue":"3","key":"CIT0099","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/S0743-1066(97)10008-5","volume":"35","author":"TOMAN D.","year":"1998","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"CIT0100","first-page":"1","volume":"23","author":"TRAHTENBROT B.","year":"1963","journal-title":"AmericanMathematical Society - Translation Series"},{"key":"CIT0101","first-page":"250","volume-title":"15th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"VARDI M."},{"key":"CIT0102","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"CIT0103","first-page":"260","volume-title":"International Colloquium on Grammatical Inference (ICGI 2004), Athens, vol. 3264 of Lecture Notes in Artificial Intelligence","author":"WAKATSUKI M."},{"key":"CIT0104","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2894"},{"key":"CIT0105","first-page":"9","volume-title":"AAAI Workshop on Spatial and Temporal Granularity","author":"WIJSEN J."},{"key":"CIT0106","first-page":"72","volume":"56","author":"WOLPER P.","year":"1983","journal-title":"Information and Computation"},{"key":"CIT0107","first-page":"3","volume-title":"KR'00","author":"WOLTER F.","year":"2000"},{"issue":"133","key":"CIT0108","volume":"118","author":"WOLTER F.","year":"2002","journal-title":"Annals of Pure and Applied Logic"},{"key":"CIT0109","author":"ZILIO S. D.","year":"2006","journal-title":"Applicable Algebra in Engineering, Communication and Computing (AAECC)"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.311-347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:31:40Z","timestamp":1498213900000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.311-347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":109,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.311-347"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.311-347","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}