Took me a while to realize that it is an actual thing, rather than used as a placeholder (“three letter acronym”)

Usually temporal logic of actions. Lamport's thing. Extremely worth a look.