and Valeria de Paiva. Intuitionistic necessity revisited (1992)

by Gavin Bierman
Venue:In Proceedings of the Logic at Work Conference