2000 character limit reached
Contract agreements via logic (1306.0026v2)
Published 31 May 2013 in cs.LO
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.