Title: Logics for Artificial Intelligence.