Is There a Logic for Polynomial Time?

Heinz-Dieter Ebbinghaus

Published in: Log. J. IGPL (1999)

Keyphrases

classical logic
truth table
special case
modal logic
logic programming
worst case
automated reasoning
proof theory
deontic logic
truth values
predicate logic
multi valued
approximation algorithms
search algorithm
probabilistic logic
case study
defeasible logic
upper bound
lower bound
computational complexity