Mikhail Svyatlovskiy, “Modal Companions of $K4^{+}$”, Stud Logica, 110:5 (2022), 1327
David Fernández-Duque, Eduardo Hermo-Reyes, Lecture Notes in Computer Science, 11541, Logic, Language, Information, and Computation, 2019, 195
М. В. Святловский, “Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логик”, Матем. заметки, 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
Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4 (2018), 3–52 ; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613