A dichotomy for some elementarily generated modal logics

Stanislav Kikot

In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form $\forall x_0\exists x_1\dots \exists x_n\bigwedge x_i{R}_{\lambda }{x}_j$…