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