Upcoming paper (to be presented at ICE 2013, Florence, June 6 2013)
Contract agreeements via logic
M. Bartoletti, T. Cimoli, P. Di Giamberardino and R. Zunino
Abstract. 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.