matteosister ha perfettamente ragione:

Codice PHP:
// Desetta tutte le variabili di sessione.
session_unset();
// Infine , distrugge la sessione.
session_destroy();

header('location:index.php');