__NOTOC__Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.
IEEE, November 1977* "Lamport L.", The temporal logic of actions.