Semantical Considerations on Floyd-Hoare Logic

Vaughan R. Pratt

Published in: FOCS (1976)

Keyphrases

classical logic
modal logic
logic programming
multi valued
predicate logic
asynchronous circuits
image processing
digital circuits
neural network
case study
automated reasoning
computational properties
nonmonotonic logics
deontic logic
sound and complete axiomatization