(1)
Maksimova, L. Interpolation and Implicit Definability in Extensions of the Provability Logic. LLP 2008, 17, 129-142.