Semantics for a class of intuitionistic modal calculi (1980)

by G Fischer-Servi
Venue:Italian Studies in the Philosophy of Science