The Constructive $\mu$-calculus: Game Semantics and Non-Wellfounded Proof Systems

Leonardo Pacheco

We study a variant of the modal $\mu$-calculus based on the constructive modal logic $\mathsf{CK}$. We define game semantics for the constructive $\mu$-calculus and prove its equivalen…