Even more about the lattice of tense logics (Q1204117): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 03:31, 5 March 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
