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.