Claudia Mer'e, and Valeria de Paiva. Intuitionistic necessity revisited (1992)

by Gavin Bierman
Venue:In Logic at Work: Applied Logic Conference