Handbook of Logic in Artificial Intelligence and Logic Programming - Gabbay (Oxford University PressOxford University Press, 2023)