On modal \(\mu\)-calculus with explicit interpolants (Q2506827): Difference between revisions

@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+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 @@
+A sheaf representation and duality for finitely presented Heyting algebras
+Normal rank
@@ Property / cites work @@
+Characterizations of negative definability in modal logic
+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 @@
+Q4501540
@@ Property / cites work: Q4501540 / 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 @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
+Normal rank