Stav dette: Logics of separation