Ana de Almeida Borges, Joost J. Joosten, “Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic”, Stud Logica, 2024
Luka Mikec, “Complexity of the interpretability logics ILW and ILP”, Logic Journal of the IGPL, 31:1 (2023), 194
Ilya Shapirovsky, “Satisfiability Problems on Sums of Kripke Frames”, ACM Trans. Comput. Logic, 23:3 (2022), 1
Mikhail Svyatlovskiy, “Modal Companions of $K4^{+}$”, Stud Logica, 110:5 (2022), 1327
Luka Mikec, Fedor Pakhomov, Mladen Vuković, “Complexity of the interpretability logic IL”, Log. J. IGPL, 27:1 (2019), 1–7
Lev D. Beklemishev, “A universal algebra for the variable-free fragment of $RC^\nabla$”, Lecture Notes in Comput. Sci., 10703 (2018), 91–106
Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4 (2018), 3–52 ; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613
М. В. Святловский, “Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логик”, Матем. заметки, 103:6 (2018), 884–901 ; M. V. Svyatlovskiy, “Axiomatization and Polynomial Solvability of Strictly Positive Fragments of Certain Modal Logics”, Math. Notes, 103:6 (2018), 952–967
Lev D. Beklemishev, “On the reflection calculus with partial conservativity operators”, Lecture Notes in Comput. Sci., 10388 (2017), 48–67