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