Lyndon Interpolation for Modal $$\mu $$-Calculus (Q6487228): Difference between revisions

@@ Property / cites work @@
+Q5144634
@@ Property / cites work: Q5144634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+The mu-calculus and Model Checking
@@ Property / cites work: The mu-calculus and Model Checking / rank @@
+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 @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+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 @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
+Normal rank
@@ Property / cites work @@
+An interpolation theorem in the predicate calculus
+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 @@
+Circular proofs for the Gödel-Löb provability logic
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank
@@ Property / cites work @@
+Q4789450
@@ Property / cites work: Q4789450 / rank @@
+Normal rank