Modal Logic Graph - Search