The structure of lattices of subframe logics (Q1361249): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q1181481 |
||
| Property / reviewed by | |||
| Property / reviewed by: Michael Zakharyashchev / rank | |||
Revision as of 09:39, 22 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The structure of lattices of subframe logics |
scientific article |
Statements
The structure of lattices of subframe logics (English)
0 references
14 December 1997
0 references
A subframe modal logic is a logic whose class of (general) frames is closed under the formation of subframes. The paper investigates the structure of various lattices of subframe uni- and polymodal logics (in particular, containing K, K4, polymodal \(\text{Alt}_n\), minimal tense extensions of unimodal logics). The main technical tool is the lattice-theoretic notion of splitting.
0 references
subframe logic
0 references
modal logic
0 references
frames
0 references
polymodal logics
0 references
minimal tense extensions
0 references
splitting
0 references
