Esakia, L. and Grigolia, R. 2008. Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Logic and Logical Philosophy. 17, 1-2 (Jun. 2008), 111–127. DOI:https://doi.org/10.12775/LLP.2008.007.