Esakia, Leo, and Revaz Grigolia. 2008. “Formulas of One Propositional Variable in Intuitionistic Logic With the Solovay Modality”. Logic and Logical Philosophy 17 (1-2):111-27. https://doi.org/10.12775/LLP.2008.007.