A focus system for the alternation-free \(\mu \)-calculus (Q2142090): Difference between revisions

@@ Property / cites work @@
+Q5144634
@@ Property / cites work: Q5144634 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of the Weak
@@ Property / cites work: The Power of the Weak / rank @@
+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 @@
+Temporal Logics in Computer Science
@@ Property / cites work: Temporal Logics in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
+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 @@
+Alternating automata, the weak monadic theory of trees and its complexity
+Normal rank
@@ Property / cites work @@
+Q3730012
@@ Property / cites work: Q3730012 / 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 @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank