Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats