MAKSIMOVA, Larisa. Interpolation and implicit definability in extensions of the provability logic. Logic and Logical Philosophy. Online. 19 June 2008. Vol. 17, no. 1-2, pp. 129-142. [Accessed 18 July 2024]. DOI 10.12775/LLP.2008.008.