TY - RPRT TI - Sahlqvist Correspondence Theory for Sabotage Modal Logic AU - Zhiguang Zhao PY - 2021 UR - https://arxiv.org/abs/2003.08070 ID - 2003.08070 ER -