Return to Article Details A Modal Logic for a Subclass of Event Structures Download Download PDF