modal logic examples - Search