The Review of Symbolic Logic ( IF 0.9 ) Pub Date : 2020-07-21 , DOI: 10.1017/s1755020320000258 JOHAN VAN BENTHEM 1 , KRZYSZTOF MIERZEWSKI 2 , FRANCESCA ZAFFORA BLANDO 3
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 complexity jumps between dynamic epistemic logics of model transformations and logics of freely chosen graph changes that get registered in a growing memory. After introducing this logic (
中文翻译:
逐步删除的模式逻辑
我们研究了逐步移除对象的模态逻辑,既是因为它作为一种无需替换的量化逻辑的内在兴趣,也是为了更好地理解模型转换的动态认知逻辑和自由选择的图形变化逻辑之间的复杂性跳跃的试点研究。在不断增长的记忆中注册。引入这个逻辑后(