The modal mu-calculus alternation hierarchy is strict

This publication has 8 references indexed in Scilit:

• On modal mu-calculus and Büchi tree automata
  Information Processing Letters, 1995
• Verification of Temporal Properties of Concurrent Systems
  DAIMI Report Series, 1993
• μ-definable sets of integers
  The Journal of Symbolic Logic, 1993
• An automata theoretic decision procedure for the propositional mu-calculus
  Information and Computation, 1989
• The complexity of tree automata and logics of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• The greatest fixed-points and rational omega-tree languages
  Theoretical Computer Science, 1986
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983
• Admissible Sets and Structures
  Published by Springer Nature ,1975