Contract agreements via logic

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.