tambien te serviria este
Código PHP:
<?php
session_start();
// Borramos toda la sesion
session_destroy();
?>
<SCRIPT LANGUAGE="javascript">
location.href = "principal.php";
</SCRIPT>
en tu escript no lo entiendo, convierte tus variables de sesion en un array, pero nio se si asi se destruye la sesion