TY - RPRT TI - A Modal Logic for Explaining some Graph Neural Networks AU - Pierre Nunn AU - François Schwarzentruber PY - 2023 UR - https://arxiv.org/abs/2307.05150 ID - 2307.05150 ER -