传递闭包模态逻辑 $\mathsf{K}^+$ 的一个实现定理
A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
AI总结：
本文为传递闭包模态逻辑 $\mathsf{K}^+$ 构造对应的证成逻辑，并借助允许非良基证明的矢列演算建立了正规实现定理。
摘要：
我们提出一个与传递闭包模态逻辑 $\mathsf{K}^+$ 相对应的证成逻辑，并建立联系这两个系统的正规实现定理。该结果通过一个允许非良基证明的矢列演算得到。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
