Title: Logics in AI