Cyclic proofs, hypersequents, and transitive closure logic (Q2104539): Difference between revisions

@@ Property / describes a project that uses @@
+Cyclist
@@ Property / describes a project that uses: Cyclist / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4289104024
@@ Property / OpenAlex ID: W4289104024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278431
@@ Property / cites work: Q5278431 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Cyclic Entailment Proofs in Separation Logic
+Normal rank
@@ Property / cites work @@
+Sequent calculi for induction and infinite descent
+Normal rank
@@ Property / cites work @@
+Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
+Normal rank
@@ Property / cites work @@
+Integrating induction and coinduction via closure operators and proof cycles
+Normal rank
@@ Property / cites work @@
+Non-well-founded Proof Theory of Transitive Closure Logic
+Normal rank
@@ Property / cites work @@
+Q5208872
@@ Property / cites work: Q5208872 / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free cyclic proof system for Kleene algebra
@@ Property / cites work: A cut-free cyclic proof system for Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202939
@@ Property / cites work: Q4202939 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages that Capture Complexity Classes
@@ Property / cites work: Languages that Capture Complexity Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+Q4636050
@@ Property / cites work: Q4636050 / rank @@
+Normal rank
@@ Property / cites work @@
+Focused Labeled Proof Systems for Modal Logic
@@ Property / cites work: Focused Labeled Proof Systems for Modal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Games for the \(\mu\)-calculus
@@ Property / cites work: Games for the \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof theory of the modal mu-calculus
@@ Property / cites work: On the proof theory of the modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically verifying temporal properties of pointer programs with cyclic proof
+Normal rank
@@ Property / cites work @@
+Automatically verifying temporal properties of pointer programs with cyclic proof
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2104539