Conflicts between legal norms are common in reality. In many legislations, legal conflicts between norms are resolved by applying ordered principles. This work presents a formalization of the conflict resolution mechanism and introduces action legal logic (⁠|$\textsf{ALL}$|⁠) to reason about the normative consequences of possibly conflicting legal systems. The semantics of |$\textsf{ALL}$| is explicitly based on legal systems consisting of norms and ordered principles. Legal systems specify the legal status of transitions in transition systems and the language of |$\textsf{ALL}$| describes the legal status of paths in transition systems. The formalization is used to study abstract revisions of legal systems. The expressivity of |$\textsf{ALL}$| is studied and its completeness is proved.

中文翻译：

---

基于动态逻辑的法律冲突解决模型

法律规范之间的冲突在现实中很常见。在许多立法中，规范之间的法律冲突通过应用有序原则来解决。这项工作提出了冲突解决机制的形式化规范，并介绍了行动法律逻辑（⁠| $ \ textsf {ALL} $ |⁠）来为可能冲突的法律体系带来规范性后果提供依据。| $ \ textsf {ALL} $ |的语义 明确基于由规范和有序原则组成的法律体系。法律系统规定了过渡系统中过渡的法律地位以及| $ \ textsf {ALL} $ |的语言。描述过渡系统中路径的法律地位。形式化用于研究法律制度的抽象修订。的表现力| $ \ {textsf ALL} $ | 研究并证明其完整性。