A Logic for PTIME and a Parameterized Halting Problem.

Yijia Chen Jörg Flum

Published in: LICS (2009)

Keyphrases

multi valued
logic programming
modal logic
predicate logic
automated reasoning
classical logic
expert systems
data complexity
computational properties
asynchronous circuits
proof theory
sound and complete axiomatization