The structure of lattices of subframe logics (Q1361249)
From MaRDI portal
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
