Contract agreements via logic
classification
💻 cs.LO
keywords
contractlogicmodelagreementagreementseventgamegame-theoretic
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.