A note on the complexity of propositional Hoare logic.

Ernie Cohen Dexter Kozen

Published in: ACM Trans. Comput. Log. (2000)

Keyphrases

multi valued
sound and complete axiomatization
worst case
probabilistic logic
polynomial hierarchy
modal logic
general logic programs
logic programming
first order logic
space complexity
predicate calculus
deductive reasoning
propositional logic
neural network
classical logic
predicate logic
data sets