L. Esakia and R. Grigolia, “Formulas of one propositional variable in intuitionistic logic with the Solovay modality”, LLP, vol. 17, no. 1-2, pp. 111–127, Jun. 2008.