Logics for Computer and Data Sciences, and Artificial Intelligence

Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics).