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