Semantics for a class of intuitionist modal calculi (1981)

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