Contract agreements via logic


Paolo Di Giamberardino, Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino

in proceedings of 6th Interaction and Concurrency Experience (ICE 2013)


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.

Download: logicagreement.pdf