Multi-dimensional semantics for modal logics (Q1924325): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4342093 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized quantifiers and modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4011721 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Varieties Containing Relation Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4081211 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Language in action. Categories, lambdas and dynamic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Modal Logic for Chopping Intervals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cylindric modal logic / rank | |||
Normal rank |
Latest revision as of 15:15, 24 May 2024
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
0 references