A note on the complexity of S4.2 (Q5156186)
From MaRDI portal
scientific article; zbMATH DE number 7410020
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on the complexity of S4.2 |
scientific article; zbMATH DE number 7410020 |
Statements
A note on the complexity of S4.2 (English)
0 references
15 October 2021
0 references
modal logic
0 references
complexity of multimodal logics
0 references
S4.2 logic
0 references
tableaux proof procedures
0 references
