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

Authors

  • K. Lodaya
  • P. S. Thiagarajan

DOI:

https://doi.org/10.7146/dpb.v18i275.7629

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.

Author Biographies

K. Lodaya

P. S. Thiagarajan

Downloads

Published

1989-03-01

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