Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al., allow for the composition of justification systems. This notion of nesting thus enables the modular definition of semantics of rule-based languages, and increases the representational capacities of justification theory. As we show in this paper, the original characterization of semantics for nested justification systems leads to the loss of information relevant for explanations. In view of this problem, we provide an alternative characterization of their semantics and show that it is equivalent to the original one. Furthermore, we show how nested justification systems allow representing fixpoint definitions.

正当理由理论是定义基于规则的语言语义的通用框架，具有很高的解释潜力。嵌套对齐系统，首先由 Denecker等人引入。, 允许组成理由系统。因此，这种嵌套概念使基于规则的语言语义的模块化定义成为可能，并增加了正当性理论的表示能力。正如我们在本文中所展示的，嵌套对齐系统的语义的原始表征导致了与解释相关的信息的丢失。鉴于这个问题，我们提供了它们语义的另一种表征，并表明它与原始表征是等价的。此外，我们展示了嵌套对齐系统如何允许表示固定点定义。