Аннотация:
Предложена логика свидетельств, соответствующая модальной логике транзитивного замыкания $\mathsf{K}^+$, и доказана теорема о нормальной реализации, связывающая эти системы. Данный результат установлен посредством исчисления секвенций, в котором допускаются нефундированные доказательства.
Ключевые слова:логика свидетельств, транзитивное замыкание, теоремы о реализации, циклические и нефундированные доказательства
