Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.
Noam ZilbersteinAngelina SalilingAlexandra SilvaPublished in: CoRR (2023)
Keyphrases
- automated reasoning
- proof theory
- deductive reasoning
- computational properties
- order of magnitude reasoning
- logical framework
- proof theoretic
- probabilistic logic
- knowledge base
- intuitionistic logic
- human reasoning
- knowledge representation
- reasoning engine
- reasoning systems
- commonsense reasoning
- logical rules
- logical inference
- reasoning tasks
- multi valued
- classical logic
- knowledge representation formalisms
- ctl model update
- neural network
- bayesian networks
- description logics
- logical formulas
- expressive power
- production rules
- abductive reasoning
- predicate logic
- probabilistic reasoning
- default reasoning
- qualitative reasoning