Bahareh Afshari, Dominik Wehr, “Abstract cyclic proofs”, Math. Struct. Comp. Sci., 2024, 1
Daniyar Shamkanov, “On structural proof theory of the modal logic K+ extended with infinitary derivations”, Logic Journal of the IGPL, 2024
D. Fernández-Duque, P. Shafer, H. Towsner, K. Yokoyama, “Metric fixed point theory and partial impredicativity”, Phil. Trans. R. Soc. A., 381:2248 (2023)
Bahareh Afshari, Dominik Wehr, Lecture Notes in Computer Science, 13468, Logic, Language, Information, and Computation, 2022, 309
Takao Inoue, “A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB”, B Sect Log, 50:4 (2021), 455