Affiliations: Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy. [email protected] | Dipartimento di Matematica, Università degli Studi di Trento and COSBI, Italy
Note: [] Work partially supported by Aut. Region of Sardinia under grants L.R.7/2007 CRP-17285 (TRICS), P.I.A. 2010 Project “Social Glue”, and by MIUR PRIN 2010-11 project “Security Horizons”. Address for correspondence: Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy
Note: [] Work partially supported by Aut. Region of Sardinia under grants L.R.7/2007 CRP-17285 (TRICS), P.I.A. 2010 Project “Social Glue”, and by MIUR PRIN 2010-11 project “Security Horizons”. Address for correspondence: Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy
Note: [] Work partially supported by Aut. Region of Sardinia under grants L.R.7/2007 CRP-17285 (TRICS), P.I.A. 2010 Project “Social Glue”, and by MIUR PRIN 2010-11 project “Security Horizons”. Address for correspondence: Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari, Italy
Abstract: We propose a model of events with circular causality, in the form of a conservative extension of Winskel's event structures. We study the relations between this new kind of event structures and Propositional Contract Logic. Provable atoms in the logic correspond to reachable events in our event structures. Furthermore, we show a correspondence between the configurations of this new brand of event structures and the proofs in a fragment of Propositional Contract Logic.
