TY  - RPRT
TI  - Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
AU  - Noam Zilberstein
PY  - 2025
DO  - 10.1145/3743131
UR  - https://arxiv.org/abs/2401.04594
ID  - 2401.04594
ER  -