Logics of Separation by Michael Stone-richards