Algebraic Semantics for Modal Predicate Logic

James B. Freeman. Algebraic Semantics for Modal Predicate Logic. Math. Log. Q., 22(1):523-552, 1976. [doi]

Abstract

Abstract is missing.