A Correction to ''A Modal Logic for a Subclass of Event Structures''
AbstractThe 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.
How to Cite
Lodaya, K., & Thiagarajan, P. S. (1989). A Correction to ’’A Modal Logic for a Subclass of Event Structures’’. DAIMI Report Series, 18(275). https://doi.org/10.7146/dpb.v18i275.7629
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.