{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:22:13Z","timestamp":1758979333132,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175785","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-13","source":"Crossref","is-referenced-by-count":3,"title":["Cut-Restriction: From Cuts to Analytic Cuts"],"prefix":"10.1109","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[{"name":"TU Vienna,Vienna,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timo","family":"Lang","sequence":"additional","affiliation":[{"name":"TU Vienna,Vienna,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Revantha","family":"Ramanayake","sequence":"additional","affiliation":[{"name":"TU Vienna,Vienna,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2528930"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.02.043"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2003.10.005"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284976"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2021.42"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.3.285"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF02176170"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S175502031600040X"},{"key":"ref10","first-page":"88","article-title":"Some calculi of modal logic","volume":"98","author":"Mints","year":"1968","journal-title":"Trudy Mat. Inst. Steklov"},{"issue":"2","key":"ref11","first-page":"115","article-title":"Gentzen method in modal calculi. ii","volume":"11","author":"Ohnishi","year":"1959","journal-title":"Osaka Mathematical Journal"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1195189604"},{"key":"ref13","first-page":"601","article-title":"Analytic cut and Mints\u2019 symmetric interpolation method for Bi-intuitionistic tense logic","volume-title":"Advances in Modal Logic","author":"Ono","year":"2022"},{"key":"ref14","first-page":"15","article-title":"Lecture notes on sequent calculus","author":"Pfenning","year":"2010","journal-title":"Lecture Notes for the Carnegie Mellon University course"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exx044"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF02120864"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.4324\/9780203016244"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.2307\/2271362"},{"volume-title":"Lectures on the Curry-Howard isomorphism","year":"2006","author":"Sorensen","key":"ref19"},{"key":"ref20","first-page":"1129","article-title":"Subformula property as a substitute for cut-elimination in modal propositional logics","volume":"37","author":"Takano","year":"1992","journal-title":"Mathematica japonica"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.18778\/0138-0680.48.1.02"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.18778\/0138-0680.48.1.02"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.18778\/0138-0680.2020.15"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0083411"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF00249262"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2023,6,26]]},"location":"Boston, MA, USA","end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175785.pdf?arnumber=10175785","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T06:59:54Z","timestamp":1726037994000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175785\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175785","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}