On the lattice of extensions of the modal logics \(KAlt_ n\) (Q1111541)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the lattice of extensions of the modal logics \(KAlt_ n\) |
scientific article |
Statements
On the lattice of extensions of the modal logics \(KAlt_ n\) (English)
0 references
1988
0 references
In this paper the author concentrates on the lattice of extensions of the logics \(KAlt_ n\) originally introduced by K. Segerberg. \(KAlt_ n\) is the normal modal propositional logic characterized by the axiom \[ Alt_ n=Lp_ 0\vee L(p_ 0\to p_ 1)\vee...\vee L(p_ 0\wedge...\wedge p_{n-1}\to p_ n), \] and a Kripke frame \({\mathbb{F}}=<W,R>\) is a frame of \(KAlt_ n\) iff for each \(w\in W\), \(| \{v\in W:\) wRv\(\}\) \(| \leq n.\) In Section 1 it is proved that for each \(n\in \omega\), each extension of \(KAlt_ n\) is Kripke-complete and canonical. This result shows that this semantics is adequate to the study of a class of logics bigger than that of finite logics. In Section 2 there is a complete description of the lattice of modal logics \(\Lambda (KAlt_ 1)\), from which it results that this structure has the following properties: it is denumerable, contains only one pretabular logic, its non-finite logics, all having finite model property (f.m.p.), form a linear order type \(<\omega +1,\geq >.\) From this last property it follows that, for each n, there exists a logic having exactly n nonlinear extensions. All these properties disappear passing from \(KAlt_ 1\) to \(KAlt_ n\) when \(n\geq 2\) (Section 3); in fact in \(\Lambda (KAlt_ 2)\) there are a continuum of logics without f.m.p. and infinitely many pretabular logics.
0 references
Kripke frame
0 references
normal modal propositional logic
0 references