Fitch-style rules for many modal logics