A logical characterization of well branching event structures (Q1190487)

It is given a characterization of well branching event structures by using a suitable chosen version of temporal logic. The modalities of this version of temporal logic permit to talk about three basic features of distributed system: causality, conflict and concurrency. The notions of prime event structures and well branching event structures are presented. Then it is presented the language and developed a Kripke-style semantics for it with branching prime event structures serving as the frames. The main contribution is a sound and complete axiomatization of validity with respect to the chosen semantics.