Partial Correctness Assertions Provable in Dynamic Logic.

Published in: We Will Show Them! (2) (2005)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
propositional dynamic logic
classical first order logic
knowledge base
special case
relational databases
general purpose
partial information