{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:40Z","timestamp":1762458760801},"reference-count":10,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2009,12,1]]},"DOI":"10.1093\/logcom\/exp022","type":"journal-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T02:18:09Z","timestamp":1247019489000},"page":"1245-1279","source":"Crossref","is-referenced-by-count":11,"title":["Labelled Tableaux for Distributed Temporal Logic"],"prefix":"10.1093","volume":"19","author":[{"given":"D.","family":"Basin","sequence":"first","affiliation":[]},{"given":"C.","family":"Caleiro","sequence":"additional","affiliation":[]},{"given":"J.","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"L.","family":"Vigano","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"key":"6_35238445","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1093\/jigpal\/jzi048","volume":"13","year":"2005","journal-title":"LOGIC JOURNAL OF THE IGPL"},{"key":"11_35238446","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/s002360050167","volume":"36","year":"2000","journal-title":"ACTA INFORMATICA"},{"key":"12_35238447","first-page":"106","volume":"9","year":"2003","journal-title":"JOURNAL OF UNIVERSAL COMPUTER SCIENCE"},{"key":"13_28295548","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","year":"1979","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"},{"key":"19_35238448","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1023\/B:STUD.0000009565.98020.9b","volume":"75","year":"2003","journal-title":"STUDIA LOGICA"},{"key":"20_28295553","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1093\/jigpal\/8.1.55","volume":"8","year":"2000","journal-title":"LOGIC JOURNAL OF THE IGPL"},{"key":"21_35238449","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1142\/S0129054192000103","volume":"3","year":"1992","journal-title":"INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE"},{"key":"27_35238450","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0022-0000(80)90061-6","volume":"20","year":"1980","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"},{"key":"29_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":"37_35238452","first-page":"119","volume":"110","year":"1985","journal-title":"LOGIQUE ET ANALYSE"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/19\/6\/1245\/2805892\/exp022.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T21:11:00Z","timestamp":1550783460000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exp022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,7]]},"references-count":10,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2009,11,30]]},"published-print":{"date-parts":[[2009,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exp022","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7,7]]}}}