Incorrectness logic.

Peter W. O'Hearn

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

logic programming
classical logic
sound and complete axiomatization
genetic algorithm
digital circuits
deontic logic
modal logic
defeasible logic
truth values
real world
website
web services
case study
automated reasoning
epistemic logic
intuitionistic logic