Modal logics in the vicinity of S1 (Q1924324)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal logics in the vicinity of S1 |
scientific article |
Statements
Modal logics in the vicinity of S1 (English)
0 references
7 April 1997
0 references
The authors define prenormal logics and show that certain well-known nonnormal logics are Lewis versions of corresponding prenormal logics. Determination and decidability are shown. Cresswell logics are introduced and characterized. The formal apparatus consists in a combination of relational and neighborhood semantics. The paper is a far-reaching contribution to the ongoing discussion around \(S1\). A logic is called classical, if it permits replacement of logically equivalent formulas. A classical logic is called prenormal, if it provides the schema \[ \square \mathbb{T} \to\bigl(\square (A\to B) \to (\square A\to \square B) \bigr). \] A Lewis version of a logic is the smallest logic that extends that logic and contains \(\square \mathbb{T}\). A Cresswell logic is a prenormal logic closed under the Cresswell rules \[ A_0 \vee \cdots \vee A_{n-1}/(\square A_0 \& \cdots \& A_{n-1}) \to \square\mathbb{T}. \]
0 references
Lewis systems
0 references
determination
0 references
prenormal logics
0 references
nonnormal logics
0 references
decidability
0 references
Cresswell logics
0 references
combination of relational and neighborhood semantics
0 references
Lewis version of a logic
0 references
0 references