va benissimo come hai indicato nel primo post.

Codice PHP:
<?php
session_start
();
$_SESSION = array();
session_destroy();
header("location: pagina.php");
exit;
?>