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