No label defined (Q4282617)
From MaRDI portal
scientific article; zbMATH DE number 517087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 517087 |
Statements
21 August 1994
0 references
complexity of decision problems
0 references
nonmonotonic modal logic S4
0 references
PSPACE- complete
0 references
monotonic logic
0 references
