摘要

破坏模态逻辑是2003年提出的一种用于分析修改游戏所玩图形的游戏的格式。我们研究了破坏模态逻辑的一些模型理论和证明理论方面,它已被视为图形变化的早期动态逻辑。我们的第一个结果是破坏模态逻辑作为一阶逻辑片段的一个特征定理,它相对于“破坏互模拟”的自然概念是不变的。接下来,我们提供了一个完整的表方法及其相关的标记序列演算,用于分析破坏模态逻辑中的推理。最后,我们确定并简要探讨了一些与破坏模态逻辑相关的开放研究问题,这些问题说明了破坏模态逻辑的复杂性,并将其置于分析模型更新的模态逻辑的当前版图中,并且回到破坏的原始动机,网络游戏的定点逻辑。

本文根据牛津大学出版社标准期刊出版模式的条款出版和发行(https://academy.oup.com/journals/pages/about_us/legal/notices)有关权限,请发送电子邮件至:日记。permissions@oup.com
您当前没有访问此文章的权限。