朱利亚诺·马兰昂;乔瓦尼·卡西尼;加布里埃拉·皮戈齐;范德托雷、伦德特 规范性变更：AGM方法。 （英语） Zbl 1515.03076号 J.应用。日志。-IfCoLog J.日志。应用。 第4期，第9期，第825-889页（2022）. 摘要：研究规范性变化具有现实意义和理论意义。在确定法律规则的内容时，法律规则的变化会带来解释问题。解释问题与确定规则的有效性及其产生效果的能力的问题紧密相连。规范变化的不同形式模型似乎更适合捕获这些不同的维度：AGM方法似乎更好地捕获了有效性维度，而语法方法更适合建模规则的影响是如何被阻止或启用的。历史上，AGM信念修正方法（我们将在本文中重点关注）是规范变更的第一个正式模型。我们对AGM方法进行了调查，并对其提出了主要批评。然后，我们转向对规范变化的正式分析，将AGM理论与输入/输出逻辑相结合，从而明确区分规范和义务。我们的方法解决了规范变更的一些困难，例如将构成规则和规范性规则结合起来（以及这种结合可能产生的规范性冲突），修改和收缩规范性系统，以及收缩将构成规则与规范性规则组合在一起的规范性系统。最后，我们强调并讨论了AGM方法在规范变更方面的一些挑战和开放问题。 MSC公司： 03B42型 知识和信念的逻辑（包括信念变化） 03B80号 逻辑的其他应用 03A05号 逻辑和基础的哲学和批判性方面 03A10号 科学哲学中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{J.Maranháo}等人，J.Appl。日志。-IfCoLog J.日志。申请。9，编号4，825--889（2022；Zbl 1515.03076） 全文： 链接