1: \begin{abstract}

2:   For a regular cardinal $\kappa$, a formula of the modal

3:   $\mu$-calculus is \continuous in a variable $x$ if, on every model,

4:   its interpretation as a unary function of $x$ is monotone and

5:   preserves unions of \dirset{s}. We define the fragment $\C(x)$ of

6:   the modal $\mu$-calculus and prove that all the formulas in this

7:   fragment are \continuous[$\aleph_{1}$].

8:   For each formula $\phi(x)$ of the modal $\mu$-calculus, we construct

9:   a formula $\psi(x) \in \C(x)$ such that $\phi(x)$ is \continuous,

10:   for some $\kappa$, if and only if $\phi(x)$ is equivalent to

11:   $\psi(x)$. Consequently, we prove that (i) the problem whether a

12:   formula is \continuous for some $\kappa$ is decidable, (ii) up to

13:   equivalence, there are only two fragments determined by continuity

14:   at some regular cardinal: the fragment $\C[0](x)$ studied by

15:   Fontaine and the fragment $\C(x)$.

16:   We apply our considerations to the problem of characterizing closure

17:   ordinals of formulas of the modal $\mu$-calculus.

18:   An ordinal $\alpha$ is the closure ordinal of a formula $\phi(x)$ if

19:   its interpretation on every model converges to its least fixed-point

20:   in at most $\alpha$ steps and if there is a model where the

21:   convergence occurs exactly in $\alpha$ steps.

22:   We prove that $\omega_{1}$, the least uncountable ordinal, is such a

23:   closure ordinal. Moreover, we prove that closure ordinals are closed

24:   under ordinal sum. Thus, any formal expression built from

25:   $0,1,\omega,\omega_{1}$ by using the binary operator symbol $+$ gives

26:   rise to a closure ordinal.

27: \end{abstract}

28: