Invariant logics (Q2776808)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1716765
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Invariant logics |
scientific article; zbMATH DE number 1716765 |
Statements
24 July 2002
0 references
invariant logic
0 references
Kripke-frame
0 references
tabular logic
0 references
automorphism group
0 references
lattices of modal logics
0 references
prime logics
0 references
normal modal logics
0 references
Invariant logics (English)
0 references
In a previous paper, the author analyzed the groups of automorphisms of various lattices of modal logics. In this paper he goes on with the study of the structure of the group of automorphisms of the lattice NExtK (the distributive lattice of normal logics). In this way, he studies logics which are invariant under all automorphisms in the group. With this objective, he analyzes the set of prime logics in the lattice NExtK. The set of prime logics is identified with a set of Kripke-frames and very interestig techniques to delay with frames are developed.
0 references
0.8493374586105347
0 references
0.7843693494796753
0 references
0.7341498732566833
0 references
0.7310509085655212
0 references
