Logics for New-Generation AI