Maksimova, L. (2008). Interpolation and implicit definability in extensions of the provability logic. Logic and Logical Philosophy, 17(1-2), 129–142. https://doi.org/10.12775/LLP.2008.008