On a syntactic approximation to logics that capture complexity classes