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
Rooduijn J., “Cyclic Hypersequent Calculi For Some Modal Logics With the Master Modality”, 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, 354–370
SAVATEEV Y. U. R. Y., SHAMKANOV D. A. N. I. Y. A. R., “Non-Well-Founded Proofs For the Grzegorczyk Modal Logic”, Rev. Symb. Log., 14:1 (2021), PII S1755020319000510, 22–50
Iwata S., “Interpolation Properties For Sacchetti'S Logics”, Advances in Mathematical Logic, Springer Proceedings in Mathematics & Statistics, 369, eds. Arai T., Kikuchi M., Kuroda S., Okada M., Yorioka T., Springer, 2021, 47–76
Kavvos G.A., “Dual-Context Calculi For Modal Logic”, Log. Meth. Comput. Sci., 16:3 (2020), 10
Shamkanov D., “Non-Well-Founded Derivations in the Godel-Lob Provability Logic”, Rev. Symb. Log., 13:4 (2020), PII S1755020319000613, 776–796