TY  - RPRT
TI  - The Modal Logic of Stepwise Removal
AU  - Johan van Benthem
AU  - Krzysztof Mierzewski
AU  - Francesca Zaffora Blando
PY  - 2021
DO  - 10.1017/s1755020320000258
UR  - https://arxiv.org/abs/2103.05117
ID  - 2103.05117
ER  -