Nagumo-type uniqueness and stability for nonlinear differential equations on semi-infinite intervals