Benevides, M.R.F. 1997. A Modal Logic for Finite Graphs. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 79–84.