Logic for Explainable AI