Vicious circles in contracts and in logic
BARTOLETTI, MASSIMO;CIMOLI, TIZIANA;DI GIAMBERARDINO, PAOLO;
2015-01-01
Abstract
Contracts are formal promises on the future interactions of participants, which describe the causal dependencies among their actions. An inherent feature of contracts is that such dependencies may be circular: for instance, a buyer promises to pay for an item if the seller promises to ship it, and vice versa. We establish a bridge between two formal models for contracts, one based on games over event structures, and the other one on Propositional Contract Logic. In particular, we show that winning strategies in the game-theoretic model correspond to proofs in the logicFile | Size | Format | |
---|---|---|---|
vicious-circles.pdf Solo gestori archivio
Description: Articolo principale
Type: versione pre-print
Size 706.68 kB
Format Adobe PDF
|
706.68 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.