Applications of Finite Model Theory: Optimisation Problems, Hybrid Modal Logics and Games.