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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.131.2 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |