Countdown $\mu$-calculus

Jędrzej Kołodziejski, Bartek Klin

We introduce the countdown $\mu$-calculus, an extension of the modal $\mu$-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classi…