Lodaya, K.

• DAIMI Report Series No. 220 (1987): PB-220 A Modal Logic for a Subclass of Event Structures - Articles
  A Modal Logic for a Subclass of Event Structures
  Abstract  PDF
• DAIMI Report Series No. 275 (1989): PB-275 A Correction to ''A Modal Logic for a Subclass of Event Structures'' - Articles
  A Correction to ''A Modal Logic for a Subclass of Event Structures''
  Abstract  PDF