A Modal Logic for Explaining some Graph Neural Networks

Open in new window