Constructive modal logics I (1990)

by D Wijesekera
Venue:Annals of Pure and Applied Logic