Neighbourhood completeness for quantified pretransitive modal logics

Abstract

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.

submitted to RSL

References in corpus (1)

• Modal logic of some products of neighborhood frames