Abstract
In this talk we present logics capturing the expressive power of a range of distributed computing and neural network models, including graph neural networks. We also present a suitable game-theoretic semantics for the logics and discuss links to computational logic in general. The talk summarizes some more established as well as very recent results on the topic.