On modal logic with an intuitionist base. Studia Logica (1977)

by G Fischer Servi