Some admissible rules in nonnormal modal systems (Q1317984)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some admissible rules in nonnormal modal systems |
scientific article |
Statements
Some admissible rules in nonnormal modal systems (English)
0 references
22 March 1994
0 references
Usual methods for establishing admissibility of a rule in a modal system require the normality of the logic, because they are semantic. Starting with an idea of Chellas, the paper aims at providing syntactic methods for proving admissibility. The paper deals with a variety of rules and nonnormal modal logics.
0 references
admissibility
0 references
nonnormal modal logics
0 references
