A Correction to ''A Modal Logic for a Subclass of Event Structures''

Abstract

The proof of the completeness result presented in the report DAIMI PB-220 (''A Modal Logic for a Subclass of Event Structures'' by K. Lodaya and P.S. Thiagarajan) contains a flaw. Our aim here is to rectify this flaw. To save space, we shall assume that the reader has a copy of DAIMI PB-220. The flaw occurs in the proof of Lemma 4.19. Hence the material we present here is to replace the material in Section 4 starting with Lemma 4.19.