Agentive logic

Agentive logic (also called the logic of action or logic of agency) is the field of philosophical logic and logic in computer science that studies formal representations of agents, their actions, and their abilities. An agentive logic in the narrower sense is a formal system whose primitive operators express that an agent does something, can do something, or sees to it that something is the case.

Agentive logics generalise modal logic by adding modalities indexed to agents and to actions. Typical examples include:

• STIT logics (from sees to it that) with operators of the form ${\displaystyle [i\mathsf{s}\mathsf{t}}$

…

Source: Wikipedia