Logics of Separation