Benevides, Mario R. F. “A Modal Logic for Finite Graphs”. Proceedings of the Amsterdam Colloquium (December 1, 1997): 79–84. Accessed January 31, 2026. https://platform.openjournals.nl/PAC/article/view/24572.