Logics for Computer and Data Sciences and Artificial Intelligence