News‎ > ‎

Contract agreements via logic

posted Apr 24, 2013, 7:30 AM by Massimo Bartoletti   [ updated Apr 24, 2013, 7:30 AM ]
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

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.

Massimo Bartoletti,
Jun 8, 2013, 7:46 AM