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 \mucalculus, using automata which run on process graphs and are equivalent in expressive power to the \mucalculus.