Internal Report TCS-90-2. T. Nagar, Madras, India: SPIC Science Foundation, School of Mathematics, September 1990.
Abstract: The authors give a brief formal introduction to well branching prime event structures. The authors present a logical language and develop a Kripke-style semantics for it with well branching prime event structures serving as the frame. The main technical contribution of the paper is a sound and complete axiomatization of validity with respect to the chosen semantics. Finally, related work and issues are discussed.
Keywords: (well) branching prime event structure(s) axiomatization; Kripke-style semantics.