Documents Savoirs A study on the expressive power of some fragments of the modal µ-calculus Alessandro Facchini