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

arXiv2307.06846MaRDI QIDQ6443671FDOQ6443671

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)