Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence, 992, Band 992)