Garis Logics