Title: Semantical Investigations in Heyting's Intuitionistic Logic