Two decidable classes of formulas of the modal logic S5 (Q5930988)
From MaRDI portal
scientific article; zbMATH DE number 1592275
Language | Label | Description | Also known as |
---|---|---|---|
English | Two decidable classes of formulas of the modal logic S5 |
scientific article; zbMATH DE number 1592275 |
Statements
Two decidable classes of formulas of the modal logic S5 (English)
0 references
24 July 2001
0 references
decidable classes of formulas
0 references
Maslov's inverse method
0 references
decidability
0 references
derivability
0 references
quantifier modal logic S5
0 references