Text this: Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames.