Effects and Logics