Maksimova, Larisa. 2008. “Interpolation and Implicit Definability in Extensions of the Provability Logic”. Logic and Logical Philosophy 17 (1-2):129-42. https://doi.org/10.12775/LLP.2008.008.