Direct resolution for modal-like logics