Benevides, Mario R. F. “A Modal Logic for Finite Graphs”. Proceedings of the Amsterdam Colloquium, Dec. 1997, pp. 79-84, https://platform.openjournals.nl/PAC/article/view/24572.