# Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

> Research article (Proceedings of the ACM on Programming Languages, 2023) · cited 34× · AI/ML

**Wikidata**: [openalex:W4323570470](https://www.wikidata.org/wiki/openalex:W4323570470)  
**Source**: https://4ort.xyz/entity/outcome-logic-a-unifying-foundation-for-correctness-and-incorrectness-reasoning