The structure of lattices of subframe logics (Q1361249)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The structure of lattices of subframe logics |
scientific article; zbMATH DE number 1038664
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The structure of lattices of subframe logics |
scientific article; zbMATH DE number 1038664 |
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
0.7845006585121155
0 references
0.7659735679626465
0 references
0.7612465620040894
0 references
