The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261): Difference between revisions

@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+Q4532193
@@ Property / cites work: Q4532193 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal \(\mu \)-calculus and Gödel-Löb logic
@@ Property / cites work: On modal \(\mu \)-calculus and Gödel-Löb logic / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order logic on tree-like structures
+Normal rank
@@ Property / cites work @@
+Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
+Normal rank
@@ Property / cites work @@
+A finite model theorem for the propositional \(\mu\)-calculus
+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 @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank