new logics