Contract agreements via logic

Massimo Bartoletti
(Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy)
Tiziana Cimoli
(Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy)
Paolo Di Giamberardino
(Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy)
Roberto Zunino
(Dipartimento di Matematica, Università degli Studi di Trento and COSBI, Italy)

We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability in the logical model.

In Marco Carbone, Ivan Lanese, Alberto Lluch Lafuente and Ana Sokolova: Proceedings 6th Interaction and Concurrency Experience (ICE 2013), Florence, Italy, 6th June 2013, Electronic Proceedings in Theoretical Computer Science 131, pp. 5–19.
Published: 15th October 2013.

ArXived at: http://dx.doi.org/10.4204/EPTCS.131.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org