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