Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema, Lecture Notes in Computer Science, 15980, Automated Reasoning with Analytic Tableaux and Related Methods, 2026, 258
Tim S. Lyon, Lecture Notes in Computer Science, 15593, Fundamentals of Software Engineering, 2025, 113
Juan P. Aguilera, Leonardo Pacheco, “Intuitionistic Gödel-Löb Without Sharps”, ACM Trans. Comput. Logic, 2025
Л. Д. Беклемишев, Д. С. Шамканов, И. Н. Смирнов, “Фрагменты арифметики и циклические выводы”, Матем. сб., 216:10 (2025), 3–28
Borja Sierra Miranda, “Cyclic Proofs for iGL via Corecursion”, Electron. Proc. Theor. Comput. Sci., 435 (2025), 13
Daniyar Shamkanov, “On structural proof theory of the modal logic K+ extended with infinitary derivations”, Logic Journal of the IGPL, 2024
Yukihiro Oda, James Brotherston, Makoto Tatsuta, “The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions”, Journal of Logic and Computation, 2023
Bahareh Afshari, Graham E. Leigh, Lecture Notes in Computer Science, 13206, Language, Logic, and Computation, 2022, 197
Yaroslav Petrukhin, “Provability multilattice logic”, Journal of Applied Non-Classical Logics, 32:4 (2022), 239
Afshari B., Leigh G.E., Turata G.M., “Uniform Interpolation From Cyclic Proofs: the Case of Modal Mu-Calculus”, Automated Reasoning With Analytic Tableaux and Related Methods, Tableaux 2021, Lecture Notes in Artificial Intelligence, 12842, eds. Das A., Negri S., Springer International Publishing Ag, 2021, 335–353