Some admissible rules in nonnormal modal systems (Q1317984)
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: Some admissible rules in nonnormal modal systems |
scientific article; zbMATH DE number 537007
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some admissible rules in nonnormal modal systems |
scientific article; zbMATH DE number 537007 |
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
