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. S...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2012-09
Main Authors: Pace, Gordon J, Schapachnik, Fernando
Format: Article
Language:English
Subjects:
Contracts
Semantics
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2331-8422
DOI:10.48550/arxiv.1209.2238