Common Contracts

2 similar null contracts

Contract agreements via logic
October 18th, 2013
Filed
October 18th, 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.

Contract agreements via logic
May 31st, 2013
Filed
May 31st, 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.