相互作用的两方系统的契约
Contracts for Interacting Two-Party Systems
摘要：
这篇文章论述了契约中道义操作者的相互关系--当只考虑其中一方时，这一点常常被忽视。在基于自动机的语义之上，我们将一方的义务、许可和禁止强加给另一方的责任形式化。这种形式化允许合同严格性的明确概念和合同冲突的衍生概念，该概念因当事人相互依存而产生的问题而丰富。
英文摘要：
This article deals with the interrelation of deontic operators in contracts -- an aspect often neglected when considering only one of the involved parties. On top of an automata-based semantics we formalise the onuses that obligations, permissions and prohibitions on one party impose on the other. Such formalisation allows for a clean notion of contract strictness and a derived notion of contract conflict that is enriched with issues arising from party interdependence.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
