D. S. Shamkanov, “A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$”, Изв. РАН. Сер. матем., 89:2 (2025), 189–212 ; Izv. Math., 89:2 (2025), 399–421
Л. Д. Беклемишев, Д. С. Шамканов, И. Н. Смирнов, “Фрагменты арифметики и циклические выводы”, Матем. сб., 216:10 (2025), 3–28
M. Baur, T. Studer, “Semirings of evidence”, J. Logic Comput., 31:8 (2021), 2084–2106
Michael Baur, Thomas Studer, Lecture Notes in Computer Science, 12061, Logic and Argumentation, 2020, 42
M. Fitting, “What are justification logics?”, Fundam. Inform., 165:3-4 (2018), 193–203
S. Kuznetsov, “The Lambek calculus with iteration: two variants”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer-Verlag, Berlin–Heidelberg, 2017, 182–198