Contract agreements via logic
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto, Zunino

TL;DR
This paper explores the connection between two models of contract agreements, linking game-theoretic and logical approaches to understand agreement and strategy through provability.
Contribution
It establishes a formal relationship between event structure game models and logical models of contracts, unifying two different perspectives.
Findings
Agreement and winning strategies correspond to provability in the logical model.
The logical model provides a new perspective on contract agreements.
The relationship enhances understanding of contract dynamics in formal systems.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
