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
L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613
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