Even more about the lattice of tense logics (Q1204117): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q1052313 |
||
Property / reviewed by | |||
Property / reviewed by: V. Yu. Meskhi / rank | |||
Revision as of 23:46, 21 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Even more about the lattice of tense logics |
scientific article |
Statements
Even more about the lattice of tense logics (English)
0 references
1 September 1993
0 references
The author investigates the splittings in the lattice of all normal extensions of the tense logics Kt, K4t and S4t. The main tools of the investigation are Kripke models (most of them finite), and the main result of the paper is that there are only two splittings in the lattice of all normal extensions of Kt (K4t), and only one splitting in the lattice of all normal extensions of S4t.
0 references
frame
0 references
cluster
0 references
lattice of normal extensions of tense logics
0 references
splittings
0 references
Kripke models
0 references