On an Intuitionistic Modal Logic (2001)

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