The modal mu-calculus alternation hierarchy is strict (Q1276239): Difference between revisions

@@ Property / cites work @@
+Q5753528
@@ Property / cites work: Q5753528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and their definition. Selected papers ed. by C. B. Jones
+Normal rank
@@ Property / cites work @@
+On the expressivity of the modal mu-calculus
@@ Property / cites work: On the expressivity of the modal mu-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+On modal mu-calculus and Büchi tree automata
@@ Property / cites work: On modal mu-calculus and Büchi tree automata / 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 @@
+A finite model theorem for the propositional \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4818826
@@ Property / cites work: Q4818826 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved algorithm for the evaluation of fixpoint expressions
+Normal rank
@@ Property / cites work @@
+<i>μ</i>-definable sets of integers
@@ Property / cites work: <i>μ</i>-definable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3730012
@@ Property / cites work: Q3730012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616162
@@ Property / cites work: Q5616162 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079598
@@ Property / cites work: Q4079598 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank