Constructive modal logics I (1990)

by Duminda Wijesekera
Venue:Annals of Pure and Applied Logic