On Modal Logics with an Intuitionistic Base (1977)

by Fischer Servi, G
Venue:Studia Logica