Leslie Lamport doesn't say what TLA+ standards for on his personal webpage, and I felt I had to pay him his respects

(Real answer: it's something most of us tell you if you ask, but "Temporal logic of actions" makes it sound a lot more intimidating to learn than it actually is)

The Glossary has it! I was also wondering how long it can go without ever resolving the meaning of each letter.