Nobu-Yuki Suzuki. An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics. Studia Logica, 48(2):141-155, 1989. [doi]
No references recorded for this publication.
No citations of this publication recorded.