关于二元道义逻辑中嵌套的一个注记
A Note on Nesting in Dyadic Deontic Logic
摘要：
本文报道了关于阿奎斯特的二元逻辑（称为系统G）的一些结果，这是最有影响力的二元义务推理逻辑之一（“应该是这样的情况......如果... ").虽然这种逻辑在文献中已经有一段时间了，但它的许多属性仍然有待深入考虑。在这篇简短的论文中，我们表明：系统G中的任何公式，包括嵌套的模态算子是等价于一些公式没有嵌套; Aqvist在第一次介绍该系统的通用模态是可定义的道义模态。
英文摘要：
The paper reports on some results concerning Aqvist's dyadic logic known as system G, which is one of the most influential logics for reasoning with dyadic obligations ("it ought to be the case that ... if it is the case that ..."). Although this logic has been known in the literature for a while, many of its properties still await in-depth consideration. In this short paper we show: that any formula in system G including nested modal operators is equivalent to some formula with no nesting; that the universal modality introduced by Aqvist in the first presentation of the system is definable in terms of the deontic modality.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
