A Modal Logic for Explaining some Graph Neural Networks

Pierre Nunn, François Schwarzentruber

In this paper, we propose a modal logic in which counting modalities appear in linear inequalities. We show that each formula can be transformed into an equivalent graph neural net…