RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив

Изв. РАН. Сер. матем., 2025, том 89, выпуск 2, страницы 189–212 (Mi im9598)

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$

D. S. Shamkanovab

a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
b National Research University Higher School of Economics, Moscow

Аннотация: 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.
Bibliography: 11 titles.

Ключевые слова: justification logic, transitive closure, realization theorems, cyclic and non-well-founded proofs.

УДК: 510.643+510.649

MSC: 03B45, 03B60

Поступило в редакцию: 23.04.2024
Исправленный вариант: 26.08.2024

Язык публикации: английский

DOI: 10.4213/im9598



© МИАН, 2025