constant domains principle, functor semantics, Kripke sheaf semantics, superintuitionistic predicate logics.
