An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics

Nobu-Yuki Suzuki. An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics. Studia Logica, 48(2):141-155, 1989. [doi]

Abstract

Abstract is missing.