Axiomatizations for some intuitionistic modal logics (1984)

by Gisèle Fischer Servi