Login / Signup
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