Logics for Computer and Data Sciences, and Artificial Intelligence