Circular Causality in Event Structures | Zendy

Massimo Bartoletti | Zendy; Tiziana Cimoli | Zendy; G. Pinna | Zendy; Roberto Zunino | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Circular Causality in Event Structures

Author(s) -

Massimo Bartoletti,

Tiziana Cimoli,

G. Pinna,

Roberto Zunino

Publication year - 2014

Publication title -

fundamenta informaticae

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.311

H-Index - 67

eISSN - 1875-8681

pISSN - 0169-2968

DOI - 10.3233/fi-2014-1101

Subject(s) - event (particle physics) , fragment (logic) , causality (physics) , event structure , mathematical proof , extension (predicate logic) , computer science , propositional calculus , mathematics , atomic formula , discrete mathematics , theoretical computer science , programming language , physics , geometry , quantum mechanics , statistics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research