A Modal Logic for Explaining some Graph Neural Networks