Correspondence theory for extended modal logics