Esakia, L., and R. Grigolia. “Formulas of One Propositional Variable in Intuitionistic Logic With the Solovay Modality”. Logic and Logical Philosophy, vol. 17, no. 1-2, June 2008, pp. 111-27, doi:10.12775/LLP.2008.007.