The Semantic Completeness of a Global Intuitionistic Logic
Hiroshi Aoyama · Mathematical logic quarterly · 1998
Abstract In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar systems.