Axiomatizations for some intuitionistic modal logics (1984)

by G Fischer Servi
Venue:Rend. Sem. Mat. Polit de Torino