Minimal Modal Systems in Which Heyting and Classical Logic can be Embedded
Kosta Došen