Sign in
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