Contract agreements via logic

Post date: 24-Apr-2013 14:30:46

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.