L. D. Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Изв. РАН. Сер. матем., 89:1 (2025), 3–17 ; Izv. Math., 89:1 (2025), 1–14
Haruka Kogure, Taishi Kurahashi, “Interpolation Properties for the Bimodal Provability Logic $GR$”, Stud Logica, 2025
Nikita V Lukashov, “Unification in subsystems of polymodal provability logic GLP”, Logic Journal of the IGPL, 33:6 (2025)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali, “Uniform lyndon interpolation for basic non-normal modal and conditional logics”, Journal of Logic and Computation, 2024
Yaroslav Petrukhin, “Provability multilattice logic”, Journal of Applied Non-Classical Logics, 32:4 (2022), 239
Iwata S., “Interpolation Properties For Sacchetti'S Logics”, Advances in Mathematical Logic, Springer Proceedings in Mathematics & Statistics, 369, eds. Arai T., Kikuchi M., Kuroda S., Okada M., Yorioka T., Springer, 2021, 47–76
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali, Lecture Notes in Computer Science, 13038, Logic, Language, Information, and Computation, 2021, 287
Kurahashi T., “Uniform Lyndon Interpolation Property in Propositional Modal Logics”, Arch. Math. Log., 59:5-6 (2020), 659–678
Л. Л. Максимова, “Свойство Линдона и униформная интерполяция над логикой Гжегорчика”, Сиб. матем. журн., 55:1 (2014), 147–155 ; L. L. Maksimova, “The Lyndon property and uniform interpolation over the Grzegorczyk logic”, Siberian Math. J., 55:1 (2014), 118–124
Beklemishev L.D. Fernandez-Duque D. Joosten J.J., “On Provability Logics with Linearly Ordered Modalities”, Stud. Log., 102:3 (2014), 541–566