2013/06/30 by Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino +1
Computer Science · #cs.LO
paper · pdf · doi:10.4204/eptcs.131.2
published as EPTCS 131, 2013, pp. 5-19 · In Proceedings ICE 2013, arXiv:1310.4019
arxiv created 2013/10/17 · arxiv updated 2013/10/18
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.