Completing the Picture: Complexity of Graded Modal Logics with Converse (Q6063859)
From MaRDI portal
scientific article; zbMATH DE number 7776320
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completing the Picture: Complexity of Graded Modal Logics with Converse |
scientific article; zbMATH DE number 7776320 |
Statements
Completing the Picture: Complexity of Graded Modal Logics with Converse (English)
0 references
12 December 2023
0 references
modal logic
0 references
complexity
0 references
graded modalities
0 references
satisfiability
0 references
0 references
