Neighbourhood completeness for quantified pretransitive modal logics
Logic
2021-11-01 v1
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.
Cite
@article{arxiv.2110.15714,
title = {Neighbourhood completeness for quantified pretransitive modal logics},
author = {Andrey Kudinov},
journal= {arXiv preprint arXiv:2110.15714},
year = {2021}
}
Comments
submitted to RSL