Esakia, L.; Grigolia, R. Formulas of One Propositional Variable in Intuitionistic Logic With the Solovay Modality. LLP 2008, 17, 111-127.