Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties

Gaëlle Fontaine, Yde Venema

This paper contributes to the theory of the modal $\mu$-calculus by proving some model-theoretic results. More in particular, we discuss a number of semantic properties pertaining to…