Formulas of one propositional variable in intuitionistic logic with the Solovay modality

Logic and Logical Philosophy, Tom 17, Numer 1-2 (2008) s. 111-127
Leo Esakia, Revaz Grigolia

 

do góry