Anastasia Karpenko, Outstanding Contributions to Logic, 15, Larisa Maksimova on Implication, Interpolation, and Definability, 2018, 171
L. L. Maksimova, “Restricted interpolation over modal logic $\mathrm S4$”, Algebra and Logic, 52:4 (2013), 308–335
A. V. Karpenko, “Interpolation properties in the extensions of the logic of inequality”, Siberian Math. J., 51:3 (2010), 439–451
L. L. Maksimova, “Decidability of the interpolation problem and of related properties in tabular logics”, Algebra and Logic, 48:6 (2009), 426–448
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
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
A. V. Chagrov, “Undecidable properties of extensions of provability logic. II”, Algebra and Logic, –