---
tag: WYY2JXWMYY
kind: concept
name: STIT logic
sources:
  - wikipedia: en:81742063@r1368676924
    locator: STIT logic
    note: adopted
    mention: wikipedia://en/81742063
    sections: [Summary]
same_as:
  wikidata: Q137400190
  wikipedia: STIT logic
inventory: [RR0W9Y1SJB]
---

## Summary

**STIT logic** (from *seeing to it that*) is a family of modal and branching-time logics for reasoning about agency and choice. A typical STIT operator has the form $[i\ \mathsf{stit}:\varphi]$, usually read as "agent $i$ sees to it that $\varphi$", and is interpreted in models where agents choose between alternative possible futures.