On actions of Temporal Logic of Actions

Introducing actions into LTL is most outstanding characteristic of Temporal Logic of Actions. We argue actions´ properties, and study fairness, liveness and safety of system via the action´s properties in Temporal Logic of Actions, put forward safety and liveness of action, redefine the liveness and safety of concurrent systems from actions´ view, give a hint to system verification.