Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (Q5932613)
From MaRDI portal
scientific article; zbMATH DE number 1603249
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inference rules with metavariables and logical equations in the pretabular modal logic PM1 |
scientific article; zbMATH DE number 1603249 |
Statements
Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (English)
0 references
10 June 2001
0 references
It is known that there exist only 5 pretabular extensions (P1--P5) of the logic S4 [see \textit{L. L. Maksimova}, Algebra Logic 14, No. 1, 16-33 (1975); translation from Algebra Logika 14, No. 1, 28-55 (1975; Zbl 0319.02019)]. The author establishes an admissibility criterion for inference rules with metavariables for the logic PM1.
0 references
modal logic
0 references
inference rule
0 references
admissible reference rule
0 references
