Опубликована статья Данияра Шамканова «A realization theorem for the modal logic of transitive closure K+»

В журнале «Известия Российской академии наук. Серия математическая»‎ вышла статья Данияра Шамканова «A realization theorem for the modal logic of transitive closure K+».

Аннотация
We present a justification logic corresponding to the modal logic of transitive closure 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.

Shamkanov D. S. A realization theorem for the modal logic of transitive closure   Изв. РАН. Сер. матем. 2025. Т. 89. № 2. С. 189–212