Contracts for Interacting Two-Party Systems
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2012
- DOI:
- 10.48550/arXiv.1209.2238
- arXiv:
- arXiv:1209.2238
- Bibcode:
- 2012arXiv1209.2238P
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- In Proceedings FLACOS 2012, arXiv:1209.1699