Esakia L, Grigolia R. Formulas of one propositional variable in intuitionistic logic with the Solovay modality. LLP [Internet]. 2008 Jun. 19 [cited 2024 Jul. 17];17(1-2):111-27. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2008.007