A note on the incompleteness of Afshari & Leigh's system Clo

Johannes Kloibhofer

The system $\mathsf{Clo}$ is a cyclic, cut-free proof system for the modal $\mu$-calculus. It was introduced by Afshari & Leigh as an intermediate system in their intent to show the…