Graph Logic, Structural and Algorithmic Graph Theory, Computer-aided Verification and Finite Model Theory