Allora:
Codice PHP:
unset ($_SESSION); 
non funziona, pero' forzandogli il nome della sessione finalmente la distrugge e non mi fa piu' accedere alle pagine protette.
così:
Codice PHP:
unset ($_SESSION['nome_sessione']); 
Grazie per il suggerimento phoenixweb.

Resta da capire quale settaggio del server lo fa comportare così...