On guarded transformation in the modal μ-calculus.

This article is concerned with the problem of transforming a formula of the modal μ-calculus into an equivalent guarded formula. Many procedures in the literature explicitly require their input to be guarded. There are procedures that effectively transform a formula into guarded form. Kupferman, Vardi and Wolper (2000, J. ACM, 47, 312–360) as well as Mateescu (2002, LNCS, 2280, 281–295) present su...