Benevides MRF. A Modal Logic for Finite Graphs. Proceedings of the AC [Internet]. 1997 Dec. 1 [cited 2026 Apr. 19];:79-84. Available from: https://platform.openjournals.nl/PAC/article/view/24572