Intuitionistic Necessity Revisited (1996)

by G. M. Bierman, V.C.V. de Paiva
Venue:PROCEEDINGS OF THE LOGIC AT WORK CONFERENCE