{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:21:53Z","timestamp":1760170913096},"reference-count":40,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,6,1]]},"DOI":"10.1093\/logcom\/exu061","type":"journal-article","created":{"date-parts":[[2014,10,24]],"date-time":"2014-10-24T03:18:31Z","timestamp":1414120711000},"page":"921-942","source":"Crossref","is-referenced-by-count":8,"title":["Embedding the hypersequent calculus in the display calculus"],"prefix":"10.1093","volume":"25","author":[{"given":"R.","family":"Ramanayake","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,10,22]]},"reference":[{"key":"1_26937511","doi-asserted-by":"crossref","first-page":"939","DOI":"10.2307\/2273828","volume":"52","year":"1987","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"2_48921430","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","year":"1991","journal-title":"ANNUALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE"},{"issue":"6","key":"4_20351143","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1093\/logcom\/13.6.835","volume":"13","author":"Baaz","year":"2003","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"5_48921431","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/3-540-44622-2_12","volume":"1862","year":"2000","journal-title":"COMPUTER SCIENCE LOGIC FISCHBACHAU"},{"key":"6_29186800","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","year":"1982","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"issue":"5","key":"7_20334399","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1093\/jigpal\/8.5.629","volume":"8","author":"Brauner","year":"2000","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"8_48921432","doi-asserted-by":"crossref","first-page":"1223","DOI":"10.1007\/s11225-012-9449-0","volume":"100","year":"2012","journal-title":"STUDIA LOGICA"},{"key":"9_48921433","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/978-3-642-22119-4_9","volume":"6793","year":"2011","journal-title":"AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS"},{"key":"10_32637284","first-page":"107","volume":"6","year":"2006","journal-title":"ADVANCES IN MODAL LOGIC"},{"key":"11_48921434","first-page":"32","volume":"2796","year":"2003","journal-title":"PROCEEDINGS OF TABLEAUX"},{"issue":"5","key":"16_20367144","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1093\/logcom\/12.5.861","volume":"12","author":"Demri","year":"2002","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"17_48921435","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.apal.2011.09.004","volume":"163","year":"2012","journal-title":"ANNUALS OF PURE APPLIED LOGIC"},{"key":"18_48921436","first-page":"1219","volume":"365","year":"2013","journal-title":"TRANSACTION OF THE AMERICAN MATHEMATICAL SOCIETY"},{"issue":"5","key":"20_20334531","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1093\/jigpal\/6.5.669","volume":"6","author":"Gore","year":"1998","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"issue":"3","key":"21_20334541","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1093\/jigpal\/6.3.451","volume":"6","author":"Gore","year":"1998","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"22_48921437","first-page":"8","volume":"7","year":"2011","journal-title":"LOGICAL METHODS COMPUTER SCIENCE"},{"key":"23_48921438","first-page":"279","volume":"9","year":"2012","journal-title":"ADVANCES IN MODAL LOGIC"},{"issue":"4","key":"24_29186798","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1093\/logcom\/exm026","volume":"17","year":"2007","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"25_48921439","first-page":"64","volume":"8","year":"2007","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"key":"26_48921440","first-page":"95","volume":"25","year":"1996","journal-title":"BULLETIN OF THE SECTION OF LOGIC UNIVERSITY XODXA"},{"key":"27_29186805","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01053026","volume":"53","year":"1994","journal-title":"STUDIA LOGICA"},{"key":"28_48921441","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-94-017-2798-3_7","volume":"2","year":"1996","journal-title":"PROOF THEORY OF MODAL LOGIC HAMBURG"},{"key":"29_31383224","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","year":"2007","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"30_48921442","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1023\/A:1017948105274","volume":"26","year":"1997","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"31_29186806","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","year":"2005","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"32_48054838","first-page":"107","volume":"28","year":"2008","journal-title":"LOGIC COLLOQUIUM"},{"key":"33_48921443","first-page":"207","volume":"2","year":"1998","journal-title":"THEORIES OF TYPES AND PROOFS TOKYO"},{"key":"34_48921444","first-page":"57","volume":"47","year":"2010","journal-title":"PROCEEDINGS THIRD INTERNATIONAL WORKSHOP ON CLASSICAL LOGIC AND COMPUTATION"},{"key":"35_48921445","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1017\/S1755020308080040","volume":"1","year":"2008","journal-title":"THE REVIEW OF SYMBOLIC LOGIC"},{"key":"36_48921446","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-1-4020-9084-4_3","volume":"28","year":"2009","journal-title":"TOWARDS MATHEMATICAL PHILOSOPHY"},{"key":"37_48921447","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/s11229-008-9425-4","volume":"173","year":"2010","ISSN":"http:\/\/id.crossref.org\/issn\/0039-7857","issn-type":"print"},{"key":"38_48921448","first-page":"900","volume":"48","year":"1983","journal-title":"J SYMBOLIC LOGIC"},{"key":"40_48921449","first-page":"151","volume":"28","year":"2008","journal-title":"LOGIC COLLOQUIUM"},{"key":"42_48921450","doi-asserted-by":"crossref","first-page":"67","DOI":"10.2307\/2273355","volume":"45","year":"1980","journal-title":"JOURNAL OF SYMBOLIC LOGIC"},{"key":"43_30236207","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s11225-007-9028-y","volume":"85","year":"2007","journal-title":"STUDIA LOGICA"},{"key":"44_48921451","first-page":"24","volume":"2","year":"2006","journal-title":"LOGICAL METHODS IN COMPUTER SCIENCE"},{"issue":"2","key":"46_21358006","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1093\/logcom\/4.2.125","volume":"4","author":"WANSING","year":"1994","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"issue":"5","key":"48_20334533","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/jigpal\/6.5.719","volume":"6","author":"Wansing","year":"1998","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"49_42138740","first-page":"61","volume":"8","year":"2002","journal-title":"HANDBOOK OF PHILOSOPHICAL LOGIC"},{"key":"50_46180383","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3166\/jancl.18.341-364","volume":"18","year":"2008","journal-title":"JOURNAL OF APPLIED NONCLASSICAL LOGICS"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/3\/921\/6141312\/exu061.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,26]],"date-time":"2020-08-26T03:19:48Z","timestamp":1598411988000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,22]]},"references-count":40,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,5,27]]},"published-print":{"date-parts":[[2015,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu061","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,22]]}}}