Multi-dimensional semantics for modal logics (Q1924325)

It is shown that a minimal normal modal logic (with arbitrarily many modalities of arbitrary arities) is strongly complete w.r.t. multidimensional Kripke frames with generalized composition relations for \(n\)-ary modalities, \(n\geq 2\), and with the domino operators \(((a,b)R(c,d)\) iff \(b=c)\) for unary modalities. These classes of frames are elementary (for any finite number of modalities). This construction is related to \textit{L. Henkin}, \textit{J. D. Monk} and \textit{A. Tarski} [Cylindric algebras (1971; Zbl 0214.01302)] advocating uniform ``concrete'' semantics for modal logic. According to their suggestion, the relations should be defined in straightforward set-theoretic terms, and so each of the frames is uniquely determined by its universe.