Logics Sarat