 Computational logic The material in this section is closely connected to games in computational logic, which serve to analyze expressive power of languages. For relevant results and connections with automata theory, see Grädel, Thomas, and Wilke (2002) and van Benthem (2014).