Graded modal logic and counting message passing automata

Veeti Ahvonen, Damian Heiman, Antti Kuusisto

We examine the relationship of graded (multi)modal logic to counting (multichannel) message passing automata with applications to the Weisfeiler-Leman algorithm. We introduce the n…