  We consider quantified pretransitive Horn modal logic. It is known that such
logics are complete with respect to predicate Kripke frames with expanding
domains. In this paper we prove that they are also complete with respect to
neighbourhood frames with constant domains.
