ESAKIA, L.; GRIGOLIA, R. 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: 18 apr. 2024.