Complexity of finite-variable fragments of products with <b>K</b> (Q5858128)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Complexity of finite-variable fragments of products with K |
scientific article; zbMATH DE number 7332113
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of finite-variable fragments of products with <b>K</b> |
scientific article; zbMATH DE number 7332113 |
Statements
Complexity of finite-variable fragments of products with <b>K</b> (English)
0 references
9 April 2021
0 references
products of modal logics
0 references
expanding relativized products
0 references
finite-variable fragments
0 references
computational complexity
0 references
satisfiability problem
0 references
validity problem
0 references