The closed fragment of IL is PSPACE hard (Q2825406)
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: The closed fragment of IL is PSPACE hard |
scientific article; zbMATH DE number 6635959
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The closed fragment of IL is PSPACE hard |
scientific article; zbMATH DE number 6635959 |
Statements
7 October 2016
0 references
interpretability logic
0 references
computational complexity
0 references
closed fragment
0 references
PSPACE-hardness
0 references
normal forms
0 references
The closed fragment of IL is PSPACE hard (English)
0 references
