{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T16:51:48Z","timestamp":1649091108018},"reference-count":17,"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":[[2013,10,1]]},"DOI":"10.1093\/logcom\/exs042","type":"journal-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T09:33:43Z","timestamp":1349861623000},"page":"1057-1080","source":"Crossref","is-referenced-by-count":3,"title":["A tableau for general linear temporal logic"],"prefix":"10.1093","volume":"23","author":[{"given":"M. A.","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2012,10,9]]},"reference":[{"key":"1_43852586","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","year":"1993","journal-title":"INFORMATION COMPUTATION"},{"key":"2_42138350","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1305\/ndjfl\/1093870820","volume":"26","year":"1985","journal-title":"NOTRE DAME JOURNAL OF FORMAL LOGIC"},{"key":"3_28295545","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","year":"1982","journal-title":"NOTRE DAME JOURNAL OF FORMAL LOGIC"},{"key":"4_43852587","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","year":"1991","journal-title":"INFORMATION PROCESSING LETTERS"},{"key":"5_43852588","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","year":"1982","journal-title":"SCIENCE OF COMPUTER PROGRAMMING"},{"key":"6_38045488","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","year":"1985","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"},{"key":"14_43852589","first-page":"5","volume":"3","year":"1964","journal-title":"ALGEBRA AND LOGIC"},{"key":"18_27729769","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","year":"2000","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"issue":"5","key":"25_20350954","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1093\/logcom\/8.5.669","volume":"8","author":"RABINOVICH","year":"1998","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"27_35238451","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/S0022-0000(03)00005-9","volume":"66","year":"2003","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"},{"key":"29_43852590","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/978-3-642-05089-3_26","volume":"5850","year":"2009","journal-title":"FM FORMAL METHODS SECOND WORLD CONGRESS EINDHOVEN THE NETHERLANDS NOVEMBER PROCEEDINGS"},{"key":"30_43852591","first-page":"19","volume":"3","year":"2010","journal-title":"JOURNAL OF STUDIES IN LOGIC"},{"key":"31_43852592","doi-asserted-by":"crossref","first-page":"1063","DOI":"10.1016\/j.apal.2010.01.002","volume":"161","year":"2010","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"key":"32_43852593","doi-asserted-by":"crossref","first-page":"437","DOI":"10.3166\/jancl.20.437-455","volume":"20","year":"2010","journal-title":"JOURNAL OF APPLIED NONCLASSICAL LOGICS"},{"key":"34_34874076","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","year":"1985","journal-title":"JOURNAL OF THE ACM"},{"key":"36_27729817","first-page":"110","volume":"28","year":"1985","journal-title":"LOGIQUE ET ANALYSE"},{"key":"37_43852594","first-page":"181","volume":"17","year":"1988","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/23\/5\/1057\/2774783\/exs042.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,14]],"date-time":"2020-07-14T17:06:03Z","timestamp":1594746363000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,9]]},"references-count":17,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2013,9,25]]},"published-print":{"date-parts":[[2013,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs042","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10,9]]}}}