Uniform interpolation from cyclic proofs: the case of modal mu-calculus (Q2142087): Difference between revisions

@@ Property / cites work @@
+Q5144634
@@ Property / cites work: Q5144634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278431
@@ Property / cites work: Q5278431 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation with Decidable Fixpoint Logics
@@ Property / cites work: Interpolation with Decidable Fixpoint Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144661
@@ Property / cites work: Q5144661 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5227521
@@ Property / cites work: Q5227521 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Sequent calculi for induction and infinite descent
+Normal rank
@@ Property / cites work @@
+Beth Definability in Expressive Description Logics
+Normal rank
@@ Property / cites work @@
+Interpolation in non-classical logics
@@ Property / cites work: Interpolation in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Bisimulation quantifiers and uniform interpolation for guarded first order 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 @@
+Q5079743
@@ Property / cites work: Q5079743 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinets: the parallel syntax for non-wellfounded proof-theory
+Normal rank
@@ Property / cites work @@
+Temporal Logics in Computer Science
@@ Property / cites work: Temporal Logics in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+A non-wellfounded, labelled proof system for propositional dynamic logic
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and sequent calculi in modal logic
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and the existence of sequent calculi
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+A Tableau System for the Modal μ-Calculus
@@ Property / cites work: A Tableau System for the Modal μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Cyclic Proofs for Linear Temporal Logic
@@ Property / cites work: Cyclic Proofs for Linear Temporal 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 an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Realizability in cyclic proof: extracting ordering information for infinite descent
+Normal rank
@@ Property / cites work @@
+Q4738237
@@ Property / cites work: Q4738237 / rank @@
+Normal rank
@@ Property / cites work @@
+Circular proofs for the Gödel-Löb provability logic
+Normal rank
@@ Property / cites work @@
+Cyclic Arithmetic Is Equivalent to Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q4417874
@@ Property / cites work: Q4417874 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically verifying temporal properties of pointer programs with cyclic proof
+Normal rank