The Los­Tarski and Lyndon Theorems for the \mu­logic Giovanna D'Agostino We prove the Lyndon Theorem and the Los­Tarski Theorem for the modal \mu­calculus, using automata which run on process graphs and are equivalent in expressive power to the \mu­calculus.