高弘佐崎;胜彦三野 Term-sequence-dyadic道义逻辑。 （英语） Zbl 07655718号 Liu，Fenrong（编辑）等人，《道德逻辑与规范体系》。第十五届国际会议，DEON 2020/2021。伦敦：学院出版物。376-393 (2021). 小结：我们经常谈论某人在特定条件下对某人的一般义务，例如“任何人都有义务与母亲在一起，因为她很孤独”。为了用量词形式化这些义务，有必要将其相对化对代理人的义务和给定的条件。因此，本文提出了一种量化的并元道义逻辑，它不仅可以用一对项索引每个并元道义算子，还可以量化这对中的变量。所提出的逻辑可以容纳某些类型的规范冲突，而不会产生矛盾或道义爆炸。提出了希尔伯特逻辑系统，并证明它对于预期的克里普克语义来说是合理的和强完整的。此外，给出了该逻辑的无割序列演算。关于整个系列，请参见[Zbl 1504.03010号]. 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B60号 其他非经典逻辑 03B20型 经典逻辑子系统（包括直觉逻辑） 03A05号 逻辑和基础的哲学和批判性方面 关键词：终端模式逻辑;附条件债务;规范冲突 PDF格式BibTeX公司 XML格式引用 \textit{T.Sawasaki}和\textit{K.Sano}，in：道义逻辑和规范系统。第十五届国际会议，DEON 2020/2021。伦敦：学院出版物。376--393（2021年；Zbl 07655718）