Decision Logics