Substructural logic and partial correctness.

Dexter Kozen Jerzy Tiuryn

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

Keyphrases

propositional calculus
logic programming
classical logic
modal logic
databases
multi valued
logical framework
real time
decision trees
data structure
probability theory
partial information
digital circuits
epistemic logic