Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (Q5932613): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1997691393 / rank | |||
Normal rank |
Latest revision as of 11:07, 30 July 2024
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