Techniques (tools) to convert temporal logic (CTL,CTL* or LTL) to μ-calculus formulae
You may find an answer or at least relevant references in the article
A linear translation from LTL to the first-order modal $\mu$-calculus.