Causal Unfoldings and Disjunctive Causes
In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to have disjunctive causes in that it can be enabled by any one of multiple sets of causes. Sometimes the sets of causes ma...
Main Authors: | Marc de Visme, Glynn Winskel |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2023-04-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/6202/pdf |
Similar Items
-
Thin Games with Symmetry and Concurrent Hyland-Ong Games
by: Simon Castellan, et al.
Published: (2019-03-01) -
Games and Strategies as Event Structures
by: Simon Castellan, et al.
Published: (2017-09-01) -
Disjunctive bases: normal forms and model theory for modal logics
by: Sebastian Enqvist, et al.
Published: (2022-08-01) -
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
by: Cristina Feier, et al.
Published: (2019-05-01) -
Companions, Causality and Codensity
by: Damien Pous, et al.
Published: (2019-08-01)