Abstract

This paper gives a translation from the $\mu$-fragment of the graded modal$\mu$-calculus to a class of distributed message-passing automata. As acorollary, we obtain an alternative proof for a theorem from\cite{ahvonen_neurips} stating that recurrent graph neural networks workingwith reals and graded modal substitution calculus have the same expressivepower in restriction to the logic monadic second-order logic MSO.

 

Quick Read (beta)