The Closed Fragment of the Interpretability Logic of PRA with a Constant for.

Joost J. Joosten

Published in: Notre Dame J. Formal Log. (2005)

Keyphrases

proof theory
data sets
sound and complete axiomatization
queueing networks
delay insensitive
asynchronous circuits
databases
computational properties
automated reasoning
modal logic
prediction accuracy
classical logic
truth values
linear logic
logic programming
automata theoretic
artificial intelligence