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

(Maher 2012) 引入了可废止逻辑相对表达力的一种方法，并研究了两种相对表达力概念。利用第一种相对表达力定义，我们表明在该相对表达力表述下，DL 框架中的所有可废止逻辑具有同等的表达力。第二种相对表达力表述强于第一种。然而，我们表明，纳入个体击败的逻辑与相应的采用团队击败的逻辑具有同等的表达力。因此，DL 中逻辑表达力的唯一差异源于处理歧义方式的不同。这完成了 \cite{Maher12} 中开启的 DL 相对表达力研究。