Negative definability in modal logic door M.J. Hollenberg