Lógica de acciones temporal (Temporal Logic of Actions, TLA).