No label defined (Q4507858)
From MaRDI portal
scientific article; zbMATH DE number 1515320
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1515320 |
Statements
29 January 2001
0 references
multimodal logic
0 references
reasoning about information systems
0 references
nondeterministic information logic
0 references
computational complexity
0 references
NIL satisfiability
0 references
PSPACE-complete
0 references
PSPACE-hardness
0 references
