Intuitionistic necessity revisited (1996)

by G M Bierman, V de Paiva