The Underlying Logic of Hoare Logic.

Andreas Blass Yuri Gurevich

Published in: Bull. EATCS (2000)

Keyphrases

logic programming
automated reasoning
sound and complete axiomatization
logical framework
modal logic
video sequences
similarity measure
database systems
decision making
data mining
classical logic
defeasible logic
formal language
predicate logic
deontic logic
asynchronous circuits
data sets