Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic (Q5427258)
From MaRDI portal
scientific article; zbMATH DE number 5213013
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic |
scientific article; zbMATH DE number 5213013 |
Statements
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic (English)
0 references
19 November 2007
0 references
Euclidean property
0 references
negative introspection
0 references
K5
0 references
S5
0 references
PSPACE
0 references
NP
0 references
knowledge representation
0 references
