cyclic_proof.preprints.bib

@misc{AfshariLeigh2016,
  title        = {Finitary Proof Systems for Kozen's μ},
  author       = {Afshari, Bahareh and Leigh, Graham E.},
  howpublished = {Oberwolfach Preprints},
  year         = {2016},
  doi          = {10.14760/OWP-2016-26},
  url          = {https://doi.org/10.14760/OWP-2016-26}
}

@misc{Hyvernat2019,
  title        = {The Size-Change Principle for Mixed Inductive and Coinductive Types},
  author       = {Hyvernat, Pierre},
  howpublished = {HAL/01989688v1},
  year         = {2019},
  url          = {https://hal.science/hal-01989688v1/}
}

@misc{Das2020,
  title        = {A Circular Version of Gödel's T and its Abstraction Complexity},
  author       = {Das, Anupam},
  howpublished = {arXiv/2012.14421},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.14421}
}

@misc{DerakhshanPfenning2020,
  title        = {Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points},
  author       = {Derakhshan, Farzaneh and Pfenning, Frank},
  howpublished = {arXiv/2001.05132v1},
  year         = {2020},
  url          = {https://arxiv.org/abs/2001.05132v1}
}

@misc{DerakhshanPfenning2021,
  title        = {Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs},
  author       = {Derakhshan, Farzaneh and Pfenning, Frank},
  howpublished = {arXiv/2001.05132v2},
  year         = {2021},
  url          = {https://arxiv.org/abs/2001.05132v2}
}

@misc{DePellisierSaurin2021,
  title        = {Eliminating Infinitely Many Cuts in Non-wellfounded {\mu}MLL Proof-nets},
  author       = {De, Abhishek and Pellissier, Luc and Saurin, Alexis},
  howpublished = {HAL/03235591},
  year         = {2021},
  url          = {https://hal.science/hal-03235591/},
  note         = {Submitted to the ACM},
}

@misc{MartiVenema21,
  title        = {Focus-style Proof Systems and Interpolation for the Alternation-free μ-calculus},
  author       = {Marti, Johannes and Venema, Yde},
  howpublished = {arXiv/2103.01671},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.01671}
}

@misc{ZhangNishida2022,
  title        = {On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs},
  author       = {Zhang, Shujun and Nishida, Naoki},
  howpublished = {EasyChair Preprint no. 8672},
  note         = {Informal Proceedings of the 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation},
  year         = {2022},
  url          = {https://easychair.org/publications/preprint/2bcp}
}

@misc{Hyvernat2022,
  title        = {The Size-Change Principle for Mixed Inductive and Coinductive Types},
  author       = {Hyvernat, Pierre},
  howpublished = {HAL/01989688v2},
  year         = {2022},
  url          = {https://hal.science/hal-01989688v2/}
}

@misc{Masuoka2022,
  title        = {A Study for Recovering the Cut-elimination Property in Cyclic Proof Systems by Restricting the Arity of Inductive Predicates}, 
  author       = {Masuoka, Yukihiro and Kimura, Daisuke},
  howpublished = {arXiv/2203.05791},
  note         = {Informal Proceedings of the 24st JSSST Workshop on Programming and Programming Languages (PPL2022)},
  year         = {2022},
  url          = {https://arxiv.org/abs/2203.05791}
}

@misc{LeighWehr2023,
  title        = {From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems},
  author       = {Leigh, Graham E. and Wehr, Dominik},
  howpublished = {arXiv/2301.07544},
  year         = {2023},
  url          = {https://arxiv.org/abs/2301.07544}
}

@misc{Sierra-Miranda2023,
  title        = {Cyclic Proofs for iGL via Corecursion},
  author       = {Sierra-Miranda, Borja},
  howpublished = {arXiv/2310.10785},
  year         = {2023},
  url          = {https://arxiv.org/abs/2310.10785}
}

@misc{Shamkanov2023,
  title        = {On Structural Proof Theory of the Modal Logic K⁺ Extended with Infinitary Derivations},
  author       = {Shamkanov, Daniyar},
  howpublished = {arXiv/2310.10309},
  year         = {2023},
  url          = {https://arxiv.org/abs/2310.10309}
}

@misc{HoriNakazawaTatsuta2023,
  title        = {Cut Elimination for Propositional Cyclic Proof Systems with Fixed-point Operators},
  author       = {Hori, Hiromasa and Nakazawa, Koji and Tatsuta, Makoto},
  howpublished = {arXiv/2312.12792},
  year         = {2023},
  url          = {https://arxiv.org/abs/2312.12792}
}

@misc{AfshariLeighTurata2023,
  title        = {Demystifying μ},
  author       = {Afshari, Bahareh and Leigh, Graham E. and Menéndez Turata, Guillermo},
  howpublished = {arXiv/2401.01096},
  year         = {2023},
  url          = {https://arxiv.org/abs/2401.01096}
}

@misc{Hyvernat2023,
  title        = {Totality for Mixed Inductive and Coinductive Types},
  author       = {Hyvernat, Pierre},
  howpublished = {HAL/01989688v3},
  year         = {2023},
  url          = {https://hal.science/hal-01989688v3/}
}

@misc{Suarin2023,
  title        = {A Linear Perspective on Cut-elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed Points (extended version)},
  author       = {Saurin, Alexis},
  howpublished = {HAL/04169137},
  year         = {2023},
  url          = {https://hal.science/hal-04169137/}
}

@misc{AfshariEnqvistLeigh2023,
  title        = {{H}erbrand {S}chemes for {C}yclic {P}roofs},
  author       = {Afshari, Bahareh and Enqvist, Sebastian and Leigh, Graham E.},
  howpublished = {ILLC Preprint PP-2023-08},
  year         = {2023},
  url          = {https://eprints.illc.uva.nl/id/eprint/2292}
}

@misc{Hori2023,
  title        = {Cut Elimination for Propositional Cyclic Proof Systems with Fixed-point Operators}, 
  author       = {Hori, Hiromasa and Nakazawa, Koji and Tatsuta, Makoto},
  howpublished = {arXiv/2312.12792},
  year         = {2023},
  url          = {https://arxiv.org/abs/2312.12792}
}

@misc{RomasEtAl2024,
  title        = {Decision Procedure for Temporal Logic Using Cyclic Sequent Calculi},
  author       = {Alonderis, Romas and Pliuškevičienė, Aida and Giedra, Haroldas},
  howpublished = {Research Square},
  year         = {2024},
  doi          = {10.21203/rs.3.rs-3845308/v1},
  url          = {https://doi.org/10.21203/rs.3.rs-3845308/v1},
  note         = {Under review for the Journal of Automated Reasoning},
}

@misc{DasDe2024,
  title        = {A Proof Theory of Right-linear (Omega-)Grammars via Cyclic Proofs},
  author       = {Das, Anupam and De, Abhishek},
  howpublished = {arXiv/2401.13382},
  year         = {2024},
  url          = {https://arxiv.org/abs/2401.13382}
}

@misc{Shamkanov2024,
  title        = {{A} {R}ealization {T}heorem for the {M}odal {L}ogic of {T}ransitive {C}losure {K}⁺},
  author       = {Shamkanov, Daniyar},
  howpublished = {arXiv/2402.04027},
  year         = {2024},
  url          = {https://arxiv.org/abs/2402.04027}
}

@misc{Sierra-MirandaStuderZenger2024,
  title        = {Coalgebraic Proof Translations for Non-wellfounded Proofs},
  author       = {Sierra-Miranda, Borja and Studer, Thomas and Zenger, Lukas},
  howpublished = {Author pre-print},
  year         = {2024},
  url          = {https://home.inf.unibe.ch/~tstuder/papers/With_Lukas.pdf}
}

@misc{AclavioCurziGuerrieri2024,
  title        = {Non-Uniform Polynomial Time and Non-Wellfounded Parsimonious Proofs (short abstract)},
  author       = {Acclavio, Matteo and Curzi, Gianluca and Guerrieri, Giulio},
  howpublished = {Informal Proceedings of the 12th International Workshop on Fixed Points in Computer Science (FICS 2024)},
  year         = {2024},
  url          = {https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-acclavio-etal.pdf}
}

@misc{AfshariKloibhofer2024,
  title        = {Cut Elimination for Cyclic Proofs: A Case Study in Temporal Logic (extended abstract)},
  author       = {Afshari, Bahareh and Kloibhofer, Johannes},
  howpublished = {Informal Proceedings of the 12th International Workshop on Fixed Points in Computer Science (FICS 2024)},
  year         = {2024},
  url          = {https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-afshari-kloibhofer.pdf}
}

@misc{BauerSaurin2024,
  title        = {Cut-Elimination for the Circular Modal μ-Calculus: the Benefits of Linearity (short abstract)},
  author       = {Bauer, Esaïe and Saurin, Alexis},
  howpublished = {Informal Proceedings of the 12th International Workshop on Fixed Points in Computer Science (FICS 2024)},
  year         = {2024},
  url          = {https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-bauer-saurin.pdf}
}

@misc{Sierra-Miranda2024,
  title        = {Cyclic Proofs for iGL via Corecursion (extended abstract)},
  author       = {Sierra-Miranda, Borja},
  howpublished = {Informal Proceedings of the 12th International Workshop on Fixed Points in Computer Science (FICS 2024)},
  year         = {2024},
  url          = {https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-sierra-miranda.pdf}
}