@misc{indiciae9891108bf261,
  title = {Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics},
  author = {James Li and Noam Zilberstein and Alexandra Silva},
  year = {2025},
  url = {https://arxiv.org/abs/2411.00197},
  note = {Source identifier: 2411.00197}
}