The geometry and algebra of commitment

Authors:
Felice Cardone
Affiliations:
Università di Torino, Dipartimento di Informatica
Venue:
Ludics, dialogue and interaction
Year:
2011

Citing 4
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Retracting Some Paths in Process Algebra

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Geometry of Interaction and linear combinatory algebras

Mathematical Structures in Computer Science
Petri Nets, Discrete Physics, and Distributed Quantum Computation

Concurrency, Graphs and Models

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a formal description, by means of graphical and categorical structures, of mechanisms for handling the dynamics of rights and obligations familiar in jurisprudence.We argue that the formal study of commitment in this setting can contribute new insights to the analysis of a large variety of communicative situations relevant to formal pragmatics.