MAKSIMOVA, L. Interpolation and implicit definability in extensions of the provability logic. Logic and Logical Philosophy, [S. l.], v. 17, n. 1-2, p. 129–142, 2008. DOI: 10.12775/LLP.2008.008. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2008.008. Acesso em: 28 mar. 2024.