Model Existence Theorems for Modal and Intuitionistic Logics

Melvin Fitting. Model Existence Theorems for Modal and Intuitionistic Logics. Journal of Symbolic Logic, 38(4):613-627, 1973.

Abstract

Abstract is missing.