по умолчанию данные сеанса хранятся в файлах, идентифицированных идентификатором сеанса.
Итак, вы должны знать SID пользователя.
Вы можете сохранить текущий идентификатор сеанса пользователя в таблице пользователей и проверять его при каждом запросе страницы. поэтому, установив для этого значения значение NULL, пользователь сможет выйти из системы вручную, не играя с механизмом сеанса