Contract agreements via logic
Logic in Computer Science
2013-10-18 v2
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.
Keywords
Cite
@article{arxiv.1306.0026,
title = {Contract agreements via logic},
author = {Massimo Bartoletti and Tiziana Cimoli and Paolo Di Giamberardino and Roberto Zunino},
journal= {arXiv preprint arXiv:1306.0026},
year = {2013}
}
Comments
In Proceedings ICE 2013, arXiv:1310.4019