可废止逻辑的相对表达能力

我们在 DL 框架下探讨可废止逻辑的相对表达能力。相对表达能力被表述为一种逻辑在另一种逻辑内模拟推理的能力。我们表明，此类模拟必须是模块化的，即它们仅在应用于理论的一部分时也有效，以实现有用的相对表达能力概念。我们提出的模拟表明，DL 中具有和不具有团队击败（team defeat）能力的逻辑具有同等的表达能力。我们还表明，以不同方式处理歧义（歧义阻断与歧义传播）的逻辑具有不同的表达能力，在另一种表达能力表述下，两者均无法相互模拟。