A note on the incompleteness of Afshari & Leigh's system Clo
Logic
2023-07-14 v1
Abstract
The system is a cyclic, cut-free proof system for the modal -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 -calculus. We prove that is incomplete by giving a valid sequent that is not provable in .
Cite
@article{arxiv.2307.06846,
title = {A note on the incompleteness of Afshari & Leigh's system Clo},
author = {Johannes Kloibhofer},
journal= {arXiv preprint arXiv:2307.06846},
year = {2023}
}