It is well-known that $$\pi_k(X)=\pi_{k-1}(\Omega X)$$ and in particular $\Omega X$ is path-connected iff $X$ is simply connected.
I'm looking for a reference for the corresponding (semi-)local property:
$\Omega X$ is (semi-)locally path-connected iff $X$ is (semi-)locally simply connected.