Construction of an explicit basis for rules admissible in modal system S4 (Q2765566)
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: Construction of an explicit basis for rules admissible in modal system S4 |
scientific article; zbMATH DE number 1694861
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Construction of an explicit basis for rules admissible in modal system S4 |
scientific article; zbMATH DE number 1694861 |
Statements
24 July 2002
0 references
admissible inference rules
0 references
basis for admissible rules
0 references
basis for quasi-identities
0 references
modal logic S4
0 references
free modal algebra
0 references
Construction of an explicit basis for rules admissible in modal system S4 (English)
0 references
