Contract agreements via logic

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.

In Proceedings ICE 2013, arXiv:1310.4019

References in corpus (3)

• Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
• An event-based model for contracts
• Contract agreements via logic

Cited by in corpus (2)

• Lending Petri nets and contracts
• Contract agreements via logic