{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:23Z","timestamp":1760202623261},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2012,10,1]]},"DOI":"10.1093\/logcom\/exr013","type":"journal-article","created":{"date-parts":[[2011,6,21]],"date-time":"2011-06-21T21:16:34Z","timestamp":1308690994000},"page":"1059-1096","source":"Crossref","is-referenced-by-count":9,"title":["Temporal Logics of Repeating Values"],"prefix":"10.1093","volume":"22","author":[{"given":"S.","family":"Demri","sequence":"first","affiliation":[]},{"given":"D.","family":"D'Souza","sequence":"additional","affiliation":[]},{"given":"R.","family":"Gascon","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2011,6,21]]},"reference":[{"key":"1_40169865","doi-asserted-by":"crossref","first-page":"977","DOI":"10.2307\/2695090","volume":"66","year":"2001","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"2_40169866","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","year":"1994","journal-title":"JOURNAL OF THE ACM"},{"key":"5_40169867","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1016\/j.ic.2006.09.006","volume":"205","year":"2007","journal-title":"INFORMATION AND COMPTUTATION"},{"issue":"6","key":"8_35312268","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.1093\/logcom\/exp037","volume":"19","year":"2009","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"11_40169868","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.ic.2006.08.003","volume":"205","year":"2007","journal-title":"INFORMATION AND COMPTUTATION"},{"key":"12_40169869","first-page":"61","volume":"174","year":"1998","journal-title":"INFORMATION AND COMPUTATION"},{"issue":"6","key":"14_20351187","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1093\/logcom\/12.6.1017","volume":"12","author":"Fitting","year":"2002","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"17_40169870","first-page":"1","volume":"5","year":"1996","journal-title":"JOURNAL OF LOGIC LANGUAGE AND INFORMATION"},{"key":"19_40169871","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0304-3975(90)90006-4","volume":"74","year":"1990","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"20_40169872","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/0304-3975(94)90242-9","volume":"134","year":"1994","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"24_40169873","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0304-3975(92)90173-D","volume":"99","year":"1992","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"28_40169874","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","year":"1984","journal-title":"SIAM JOURNAL OF COMPUTING"},{"key":"30_40169875","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/1013560.1013562","volume":"5","year":"2004","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"key":"35_40169876","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","year":"1994","journal-title":"INFORMATION AND COMPTUTATION"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/22\/5\/1059\/3003945\/exr013.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T09:40:49Z","timestamp":1503481249000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exr013"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,21]]},"references-count":14,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2012,9,24]]},"published-print":{"date-parts":[[2012,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exr013","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,21]]}}}