Contracts for Interacting Two-Party Systems
Logic in Computer Science
2012-09-12 v1
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.
Cite
@article{arxiv.1209.2238,
title = {Contracts for Interacting Two-Party Systems},
author = {Gordon J. Pace and Fernando Schapachnik},
journal= {arXiv preprint arXiv:1209.2238},
year = {2012}
}
Comments
In Proceedings FLACOS 2012, arXiv:1209.1699