Linear Temporal Logic LT LK extended by Multi