Benevides, M. R. F. A Modal Logic for Finite Graphs. Proceedings of the AC 1997, 79-84.