The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Contract agreements via logic
The work
| Authors | Massimo Bartoletti; Tiziana Cimoli; Paolo Di Giamberardino; Roberto Zunino |
|---|---|
| Editors | |
| Type | article |
| Year | 2013 |
| Citekey | bartoletti2013contract |
Where it appeared
| Published in | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Publisher | Open Publishing Association |
| Volume | 131 |
| Pages | 5--19 |
Identifiers
| arXiv | 1306.0026 from its oa_pdf_url |
|---|---|
| DOI | 10.4204/eptcs.131.2 |
| OpenAlex | W2060773224 |
Access
| Landing page | https://doi.org/10.4204/eptcs.131.2 |
|---|---|
| Free full text | https://arxiv.org/pdf/1306.0026 |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
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.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 19:03 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{bartoletti2013contract,
title = {Contract agreements via logic},
author = {Massimo Bartoletti and Tiziana Cimoli and Paolo Di Giamberardino and Roberto Zunino},
year = {2013},
journal = {Electronic Proceedings in Theoretical Computer Science},
publisher = {Open Publishing Association},
volume = {131},
pages = {5--19},
doi = {10.4204/eptcs.131.2},
}
This record lives at https://refs.drheap.org/bartoletti2013contract/ and will keep doing so.