{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T12:06:11Z","timestamp":1762344371081,"version":"build-2065373602"},"reference-count":11,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.435.2","type":"journal-article","created":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T17:08:07Z","timestamp":1762016887000},"page":"13-20","source":"Crossref","is-referenced-by-count":0,"title":["Cyclic Proofs for iGL via Corecursion"],"prefix":"10.4204","volume":"435","author":[{"given":"Borja","family":"Sierra Miranda","sequence":"first","affiliation":[{"name":"Logic and Theory Group, University of Bern"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2025,11,4]]},"reference":[{"volume-title":"Sequent calculus proof systems for inductive definitions","year":"2006","author":"Brotherston","key":"brotherston2006sequent"},{"issue":"2","key":"COURCELLE198395","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","article-title":"Fundamental properties of infinite trees","volume":"25","author":"Courcelle","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"das_et_al:LIPIcs.CSL.2024.22","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CSL.2024.22","article-title":"Intuitionistic G\u00f6del-L\u00f6b Logic, \u00e0 la Simpson: Labelled Systems and Birelational Semantics","volume-title":"32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)","volume":"288","author":"Das","year":"2024"},{"issue":"3","key":"Dyckhoff","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2307\/2275431","article-title":"Contraction-Free Sequent Calculi for Intuitionistic Logic","volume":"57","author":"Dyckhoff","year":"1992","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"Iris","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1215\/00294527-2021-0011","article-title":"Sequent Calculi for Intuitionistic G\u00f6del\u2013L\u00f6b Logic","volume":"62","author":"van der Giessen","year":"2021","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"iemhoff2021reasoning","article-title":"Reasoning in circles","author":"Iemhoff","year":"2016","journal-title":"Liber Amicorum Alberti: A Tribute to Albert Visser"},{"key":"ShamkanovGrz","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020319000510","article-title":"Non-Well-Founded Proofs for the Grzegorczyk Modal Logic","volume":"14","author":"Savateev","year":"2018","journal-title":"The Review of Symbolic Logic"},{"key":"ShamkanovGl","doi-asserted-by":"publisher","DOI":"10.1134\/s0001434614090326","article-title":"Circular proofs for the G\u00f6del-L\u00f6b provability logic","volume":"96","author":"Shamkanov","year":"2014","journal-title":"Mathematical Notes"},{"key":"Troelstra_Schwichtenberg_2000","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"Troelstra","year":"2000"},{"volume-title":"Cyclic Proof Systems for Modal Fixpoint Logics","year":"2024","author":"Turata","key":"guillermo"},{"key":"VENEMA2007331","series-title":"Studies in Logic and Practical Reasoning","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/S1570-2464(07)80009-7","article-title":"Algebras and coalgebras","volume-title":"Handbook of Modal Logic","volume":"3","author":"Venema","year":"2007"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T12:01:17Z","timestamp":1762344077000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2310.10785v2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,4]]},"references-count":11,"URL":"https:\/\/doi.org\/10.4204\/eptcs.435.2","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,11,4]]}}}