A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
Logic
2024-11-25 v2
Abstract
We present a justification logic corresponding to the modal logic of transitive closure and establish a normal realization theorem relating these two systems. The result is obtained by means of a sequent calculus allowing non-well-founded proofs.
Keywords
Cite
@article{arxiv.2402.04027,
title = {A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$},
author = {Daniyar Shamkanov},
journal= {arXiv preprint arXiv:2402.04027},
year = {2024}
}
Comments
The proof of the main lemma at the end of the article contains some inaccuracies that were corrected in preparation of the journal version