A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
| Autor: | Shamkanov, Daniyar |
|---|---|
| Rok vydání: | 2024 |
| Předmět: | |
| Zdroj: | Izv. RAN. Ser. Mat., 89:2 (2025) |
| Druh dokumentu: | Working Paper |
| Popis: | We present a justification logic corresponding to the modal logic of transitive closure $\mathsf{K}^+$ 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. Comment: The proof of the main lemma at the end of the article contains some inaccuracies that were corrected in preparation of the journal version |
| Databáze: | arXiv |
| Externí odkaz: |
|