The Łoś–Tarski and Lyndon Theorem for the $\mu$-logic
Giovanna D'Agostino

Abstract:
We prove the Lyndon Theorem and the Łoś–Tarski Theorem for the modal  \mu­calculus, using automata which run on process graphs and are equivalent in expressive power to the \mu­calculus.