Finite Convergence of the Modal Mu-Calculus on Almost-Periodic Words

Fabian Lehr, Florian Bruse

A formula of the modal mu-calculus enjoys finite convergence on a structure if there is some finite unfolding of the formula that defines the same set. A structure enjoys finite co…