Interpolation properties for provability logics $\mathbf{GL}$ and $\mathbf{GLP}$
Daniyar S. Shamkanov

This publication is cited in the following articles:

1. Izv. Math., 89:1 (2025), 1–14            
2. Haruka Kogure, Taishi Kurahashi, “Interpolation Properties for the Bimodal Provability Logic $GR$”, Stud Logica, 2025  
3. Nikita V Lukashov, “Unification in subsystems of polymodal provability logic GLP”, Logic Journal of the IGPL, 33:6 (2025)  
4. Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali, “Uniform lyndon interpolation for basic non-normal modal and conditional logics”, Journal of Logic and Computation, 2024  
5. Yaroslav Petrukhin, “Provability multilattice logic”, Journal of Applied Non-Classical Logics, 32:4 (2022), 239  
6. 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      
7. Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali, Lecture Notes in Computer Science, 13038, Logic, Language, Information, and Computation, 2021, 287  
8. Kurahashi T., “Uniform Lyndon Interpolation Property in Propositional Modal Logics”, Arch. Math. Log., 59:5-6 (2020), 659–678      
9. L. L. Maksimova, “The Lyndon property and uniform interpolation over the Grzegorczyk logic”, Siberian Math. J., 55:1 (2014), 118–124            
10. Beklemishev L.D. Fernandez-Duque D. Joosten J.J., “On Provability Logics with Linearly Ordered Modalities”, Stud. Log., 102:3 (2014), 541–566          
11. D. S. Shamkanov, “Circular Proofs for the Gödel–Löb Provability Logic”, Math. Notes, 96:4 (2014), 575–585