- Lev Veniaminovich Dvorkin, “On provability logics of Niebergall arithmetic”, Izv. Math., 88, № 3, 2024, 468
- ILYA B. SHAPIROVSKY, “SUFFICIENT CONDITIONS FOR LOCAL TABULARITY OF A POLYMODAL LOGIC”, J. symb. log., 2025, 1
- Lev Dmitrievich Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Известия Российской академии наук. Серия математическая, 89, № 1, 2025, 3
- Lev Dmitrievich Beklemishev, “On the unification problem for $\mathrm{GLP}$”, Izv. Math., 89, № 1, 2025, 1
- Nikita V Lukashov, “Unification in subsystems of polymodal provability logic GLP”, Logic Journal of the IGPL, 33, № 6, 2025, jzaf071