On Counting Graphs for Modal Logic with Counting.

arXiv:2610.26187v1 Announce Type: new Abstract: In this paper, we study the theoretical computational complexity of counting trees and graphs that are classified positively by a graph neural networks, or said equivalently that satisfy a given formula of modal