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

MaRDI QIDQ6443671zbMATH OpenFDO

Authors Johannes Kloibhofer

Publication date 13 July 2023

Abstract: The system $mathsfClo$ 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 completeness of Kozen's axiomatisation for the modal $mu$-calculus. We prove that $mathsfClo$ is incomplete by giving a valid sequent that is not provable in $mathsfClo$.

This page was built for publication: A note on the incompleteness of Afshari & Leigh's system Clo

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6443671)