Recognize some logics