NP trees and Carnap's modal logic (Q4369870)
From MaRDI portal
scientific article; zbMATH DE number 1103535
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | NP trees and Carnap's modal logic |
scientific article; zbMATH DE number 1103535 |
Statements
NP trees and Carnap's modal logic (English)
0 references
2 February 1998
0 references
oracle
0 references
dags
0 references
autoepistemic logic
0 references
polynomial-time hierarchy
0 references
