$\mu$-calculus on data words

Thomas Colcolmbet, Amaldev Manuel

We study the decidability and expressiveness issues of $\mu$-calculus on data words and data $\omega$-words. It is shown that the full logic as well as the fragment which uses only the le…