Talvez esto te pueda servir. De cualquier forma puedes leer la documentacion de PHP referente a sesiones si tienes alguna otra duda.
Código PHP:
<?php
function DeleteSessionID($sessionid) {
$orgpath = getcwd();
chdir(PHP_BINDIR);
chdir(session_save_path());
$path = realpath(getcwd()).'/';
if(file_exists($path.'sess_'.$sessionid)) {
// Borra la sesión
unlink($path.'sess_'.$sessionid);
} else {
// La sesión no se encuentra
}
chdir($orgpath);
}
?>