Lodaya, K.
-
DAIMI Report Series Nr. 220 (1987): PB-220 A Modal Logic for a Subclass of Event Structures - Articles
A Modal Logic for a Subclass of Event Structures
Resumé PDF (English) -
DAIMI Report Series Nr. 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''
Resumé PDF (English)