Multi-dimensional semantics for modal logics (Q1924325)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Multi-dimensional semantics for modal logics |
scientific article |
Statements
Multi-dimensional semantics for modal logics (English)
0 references
15 June 1997
0 references
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.
0 references
multi-dimensional modal logic
0 references
Kripke semantics
0 references
normal modal logic
0 references
multidimensional Kripke frames
0 references