J Van Benthem, K Mierzewski… - The Review of Symbolic …, 2022 - cambridge.org
We investigate the modal logic of stepwise removal of objects, both for its intrinsic interest as
a logic of quantification without replacement, and as a pilot study to better understand the …