On an intuitionistic modal logic (0)

by G M Bierman, V de Paiva
Venue:Studia Logica