Possible Symbol in Modal Logic - Search