Yet another intuitionistic modal logic (abstract (1995)

by G M Bierman, V C V de Paiva
Venue:Bulletin of Symbolic Logic