Semantical Investigations in Heyting's Intuitionistic Logic by Gabbay, Dov M.