Labelled Transition Logic:an outline