Title: Logics for New-Generation AI