Polynomially Grade Logic I: A Graded Version of System T

Anil Nerode Jeffrey B. Remmel Andre Scedrov

Published in: LICS (1989)

Keyphrases

alternating time temporal logic
logic programming
multi valued
predicate logic
artificial intelligence
modal logic
set theory
proof theory
np complete
temporal logic
classical logic
digital circuits
asynchronous circuits
linear logic