Cyclic Arithmetic Is Equivalent to Peano Arithmetic (Q2988374): Difference between revisions

@@ Property / cites work @@
+On the Proof Theory of Regular Fixed Points
@@ Property / cites work: On the Proof Theory of Regular Fixed Points / 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 @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Cyclic proofs of program termination in separation logic
+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 @@
+A Proof System for the Linear Time μ-Calculus
@@ Property / cites work: A Proof System for the Linear Time μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958526
@@ Property / cites work: Q2958526 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logical Strength of Büchi's Decidability Theorem
+Normal rank
@@ Property / cites work @@
+A Proof System for Compositional Verification of Probabilistic Concurrent Processes
+Normal rank
@@ Property / cites work @@
+Games for the \(\mu\)-calculus
@@ Property / cites work: Games for the \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738237
@@ Property / cites work: Q4738237 / rank @@
+Normal rank
@@ Property / cites work @@
+On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations
+Normal rank
@@ Property / cites work @@
+Q4417874
@@ Property / cites work: Q4417874 / 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