Cyclic proofs, hypersequents, and transitive closure logic
type: Item
instance of: scholarly article
title: Cyclic proofs, hypersequents, and transitive closure logic
DOI: 10.1007/978-3-031-10769-6_30
author: Anupam Das
author: Marianna Girlando
publication date: 2022-12-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/2205.08616
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7628206
zbMATH Keywords: cyclic proofs
zbMATH Keywords: transitive closure logic
zbMATH Keywords: hypersequents
zbMATH Keywords: propositional dynamic logic
describes a project that uses: Cyclist
MaRDI profile type: Publication
OpenAlex ID: W4289104024
cites work: Q5278431
cites work: Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System
cites work: Q3408862
cites work: Modal logic
cites work: Automated Cyclic Entailment Proofs in Separation Logic
cites work: Sequent calculi for induction and infinite descent
cites work: Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
cites work: Integrating induction and coinduction via closure operators and proof cycles
cites work: Non-well-founded Proof Theory of Transitive Closure Logic
cites work: Q5208872
cites work: A cut-free cyclic proof system for Kleene algebra
cites work: Q4202939
cites work: Languages that Capture Complexity Classes
cites work: Complete systems of \(\mathcal B\)-rational identities
cites work: Q4636050
cites work: Focused Labeled Proof Systems for Modal Logic
cites work: Games for the \(\mu\)-calculus
cites work: On the proof theory of the modal mu-calculus
cites work: Automatically verifying temporal properties of pointer programs with cyclic proof
description: scientific article; zbMATH DE number 7628206