and Valeria de Paiva. Intuitionistic necessity revisited (1996)

by G M Bierman