Internal Report TCS--90--1. T. Nagar, Madras, India: SPIC Science Foundation, School of Mathematics, August 1990.
Abstract: In this report, the author modifies a previously published language by dropping the conflict modality from the basic language. In other words, the primary modalities of the logic are the past and future modalities of tense logic and the unary modalites capturing concurrency and minimal conflict. The author shows for well branching event structures that one can use the modality for minimal conflict in conjunction with the past and future modalities to recover the conflict modality as a derived modality. Finally, a sound and complete axiomatization of well branching event structures in terms of the new logical language is provided.
Keywords: (well) branching prime event structure(s) logic completeness; tense logic; minimal conflict; prime event structure(s) axiomatization.