Complexity of finite-variable fragments of propositional modal logics of symmetric frames (Q5241916)
From MaRDI portal
scientific article; zbMATH DE number 7125816
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of finite-variable fragments of propositional modal logics of symmetric frames |
scientific article; zbMATH DE number 7125816 |
Statements
Complexity of finite-variable fragments of propositional modal logics of symmetric frames (English)
0 references
4 November 2019
0 references
propositional modal logic
0 references
symmetric frames
0 references
finite-variable fragments
0 references
computational complexity
0 references
