Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames (Journal of logic and computation, 2025)