Problema con sesiones, determinar que una sesion ya caduco?¿¿?

[piro150380]

Claro asi se debe de hacer primero verificar si existe o no la sesion y si ya caduco, q lo redireccione a la paghina de logeo o mostrar un mensaje.
if (! isset($_SESSION['user'])){

Header("Location:index.html");

} o

if (! isset($_SESSION['user'])){
echo "Sesion Caducada o terminada";
exit;
}