ESAKIA, Leo; GRIGOLIA, Revaz. Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Logic and Logical Philosophy, [S. l.], v. 17, n. 1-2, p. 111–127, 2008. DOI: 10.12775/LLP.2008.007. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2008.007. Acesso em: 8 jul. 2025.