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 10 December 2025]. DOI 10.12775/LLP.2008.008.