✦ LIBER ✦

The set of the true regular protothetics formulas with partially ordered quantifiers is NEXPTIME-complete

✍ Scribed by Anatoly P. Beltiukov

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 63 KB
Volume: 113
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(01)00050-1

No coin nor oath required. For personal study only.

✦ Synopsis

Nondeterministic exponential time complexity bounds are established for recognizing true propositional formulas with partially ordered quantiÿers on propositional variables.