Maksimova, L. “Interpolation and Implicit Definability in Extensions of the Provability Logic”. Logic and Logical Philosophy, vol. 17, no. 1-2, June 2008, pp. 129-42, doi:10.12775/LLP.2008.008.