el manual te dira
isset y
empty lee para que es cada una aunque creo que solo con el isset basta pero normalmente uso las dos
, en fin al existir la variable y no estar vacia en la pantalla te va a salir hola usuario, si esta condicion no se cumple entonces no estas logueado por lo que te mostrara el formulario de loggin