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), pp. 111–127. doi: 10.12775/LLP.2008.007.