The structure of lattices of subframe logics (Q1361249): 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 04:04, 5 March 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
