关于二元道义逻辑中嵌套问题的一个注记
人工智能
2017-10-11 v1 计算机科学中的逻辑
多智能体系统
摘要
本文报告了关于 Åqvist 二元逻辑（即系统 G）的一些结果，该系统是用于二元义务推理（“如果...则应当...”）最具影响力的逻辑之一。尽管该逻辑在文献中已存在一段时间，但其许多性质仍有待深入探讨。在这篇短文中，我们证明：系统 G 中包含嵌套模态算子的任何公式都等价于某个无嵌套的公式；Åqvist 在系统首次提出时引入的全称模态可用道义模态定义。
引用
@article{arxiv.1710.03481,
title = {A Note on Nesting in Dyadic Deontic Logic},
author = {Agneau Belanyek and Davide Grossi and Wiebe van der Hoek},
journal= {arXiv preprint arXiv:1710.03481},
year = {2017}
}