Floyd-Hoare Logic in Iteration Theories.

Stephen L. Bloom Zoltán Ésik

Published in: J. ACM (1991)

Keyphrases

defeasible logic
causal reasoning
logic programming
probability theory
multi valued
modal operators
causal theories
theoretical framework
classical logic
modal logic
classical first order logic
closed world assumptions
data sets
propositional theories
proof theory
epistemic logic
predicate logic
design theory