Anastasia Karpenko, Outstanding Contributions to Logic, 15, Larisa Maksimova on Implication, Interpolation, and Definability, 2018, 171
Л. Л. Максимова, “Ограниченная интерполяция над модальной логикой $\mathrm S4$”, Алгебра и логика, 52:4 (2013), 461–501 ; L. L. Maksimova, “Restricted interpolation over modal logic $\mathrm S4$”, Algebra and Logic, 52:4 (2013), 308–335
А. В. Карпенко, “Интерполяционные свойства в расширениях логики неравенства”, Сиб. матем. журн., 51:3 (2010), 553–568 ; A. V. Karpenko, “Interpolation properties in the extensions of the logic of inequality”, Siberian Math. J., 51:3 (2010), 439–451
Л. Л. Максимова, “Разрешимость проблемы интерполяции и родственных свойств в табличных логиках”, Алгебра и логика, 48:6 (2009), 754–792 ; L. L. Maksimova, “Decidability of the interpolation problem and of related properties in tabular logics”, Algebra and Logic, 48:6 (2009), 426–448
А. В. Карпенко, “Слабое интерполяционное свойство в расширениях логик $S4$ и $K4$”, Алгебра и логика, 47:6 (2008), 705–722 ; A. V. Karpenko, “Weak interpolation in extensions of the logics $S4$ and $K4$”, Algebra and Logic, 47:6 (2008), 395–404
Frank Wolter, Michael Zakharyaschev, “Undecidability of the unification and admissibility problems for modal and description logics”, ACM Trans. Comput. Logic, 9:4 (2008), 1
Б. Р. Федоришин, “Явный базис для допустимых правил вывода логики Гёделя — Леба $GL$”, Сиб. матем. журн., 48:2 (2007), 423–430 ; B. R. Fedorishin, “An explicit basis for the admissible inference rules in the Gödel–Löb logic $GL$”, Siberian Math. J., 48:2 (2007), 339–345
Frank Wolter, Michael Zakharyaschev, Studies in Logic and Practical Reasoning, 3, Handbook of Modal Logic, 2007, 427
M. Zakharyaschev, F. Wolter, A. Chagrov, Handbook of Philosophical Logic, 2001, 83
А. В. Чагров, “Неразрешимые свойства расширений логики доказуемости. II”, Алгебра и логика, 29:5 (1990), 613–623 ; A. V. Chagrov, “Undecidable properties of extensions of provability logic. II”, Algebra and Logic, –