A Logic of Actions