Maksimova L. Interpolation and implicit definability in extensions of the provability logic. LLP [Internet]. 2008 Jun. 19 [cited 2024 Apr. 26];17(1-2):129-42. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2008.008