On Modal Logics with an Intuitionistic Base, Studia Logica 36:2 (1977)

by G Fischer Servi