A Modal Logic for a Subclass of Event Structures.

Kamal Lodaya P. S. Thiagarajan A Modal Logic for a Subclass of Event Structures. 290-303 1987 conf/icalp/1987 ICALP db/conf/icalp/icalp87.html#LodayaT87 http://dx.doi.org/10.1007/3-540-18088-5_24