Decides statements in modal logic with unary predicates