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.
No takes yet. Share an insight, caveat, or question.
Hiroshi Aoyama (1998) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: