{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T11:24:02Z","timestamp":1648812242773},"reference-count":11,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2012,8,1]]},"DOI":"10.1093\/jigpal\/jzr019","type":"journal-article","created":{"date-parts":[[2011,2,18]],"date-time":"2011-02-18T01:32:09Z","timestamp":1297992729000},"page":"747-756","source":"Crossref","is-referenced-by-count":5,"title":["Relational dual tableau decision procedure for modal logic K"],"prefix":"10.1093","volume":"20","author":[{"given":"J.","family":"Golinska-Pilarek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Munoz-Velasco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mora-Bonilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2011,2,17]]},"reference":[{"key":"1_39200193","first-page":"55","volume":"231","year":"2009","journal-title":"THE TABLEAU WORKBENCH"},{"key":"2_37543544","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1016\/j.tcs.2006.10.023","volume":"371","year":"2007","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"3_39198525","first-page":"2042","volume":"11","year":"2010","journal-title":"APPLIED SOFT COMPUTING"},{"key":"5_39200194","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S1570-2464(07)80005-X","volume":"3","year":"2007","journal-title":"HANDBOOK OF MODAL LOGIC STUDIES IN LOGIC AND PRACTICAL REASONING"},{"key":"6_39198527","first-page":"318","volume":"3702","year":"2005","journal-title":"LOTREC LOGICAL TABLEAUX RESEARCH ENGINEERING COMPANION"},{"key":"8_39198528","doi-asserted-by":"crossref","first-page":"21","DOI":"10.3233\/FI-2009-115","volume":"94","year":"2009","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"9_39200195","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S1570-2464(07)80007-3","volume":"3","year":"2007","journal-title":"HANDBOOK OF MODAL LOGIC STUDIES IN LOGIC AND PRACTICAL REASONING"},{"key":"11_39198530","first-page":"198","volume":"417","year":"1988","journal-title":"GENTZENTYPE SYSTEMS AND RESOLUTION RULES"},{"key":"14_39198531","first-page":"57","volume":"48","year":"1960","journal-title":"FUNDAMENTA MATHEMATICAE"},{"key":"15_39198532","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/ICA-2010-0337","volume":"17","year":"2010","journal-title":"INTEGRATED COMPUTERAIDED ENGINEERING"},{"key":"16_29617070","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","year":"1941","journal-title":"JOURNAL OF SYMBOLIC LOGIC"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/20\/4\/747\/1713327\/jzr019.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T17:37:59Z","timestamp":1592329079000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzr019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,17]]},"references-count":11,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,7,13]]},"published-print":{"date-parts":[[2012,8,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzr019","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,17]]}}}