Return to Article Details Formulas of one propositional variable in intuitionistic logic with the Solovay modality Download Download PDF