A dichotomy for some elementarily generated modal logics
Logic
2015-03-02 v2
Abstract
In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form . We prove that many properties of these logics, such as finite axiomatisability, elementarity, axiomatisability by a set of canonical formulas or by a single generalised Sahlqvist formula, together with modal definability of the initial formula, either simultaneously hold or simultaneously do not hold.
Cite
@article{arxiv.1406.5700,
title = {A dichotomy for some elementarily generated modal logics},
author = {Stanislav Kikot},
journal= {arXiv preprint arXiv:1406.5700},
year = {2015}
}