A Temporal Logic for Event Structures
Wojciech Penczek · Fundamenta Informaticae · 1988
A temporal logic for event structures based on a partial order frame of local states is presented. Two modalities, for causality and conflict, are introduced. Completeness of the axiom system is proved. The finite model property and decidability are discussed.