Even more about the lattice of tense logics (Q1204117): Difference between revisions

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.