modal logic proof - Search