Logics for Computer and Data Sciences, and Artificial Intelligence - Polkowski, Lech T. (Springer International Publishing AG, 2021)