Advertisement

A modal logic for a subclass of event structures

  • K. Lodaya
  • P. S. Thiagarajan
Temporal Logic, Concurrent Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 267)

Keywords

Modal Logic Temporal Logic Event Structure Axiom System Tense Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. [1]
    J.P. Burgess: Basic Tense Logic. In: Handbook of Philosophical Logic, Vol II, D. Gabbay and F. Guenthner (Eds.), D. Reidel Publishing Company (1984), 89–133.Google Scholar
  2. [2]
    K.M. Chandy and J. Misra: How Processes Learn. Distributed Computing, 1.1 (1986), 40–52.Google Scholar
  3. [3]
    E.A. Emerson and J.Y. Halpern: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. J. Computer and Systems Science, 30,1 (1986), 1–24.Google Scholar
  4. [4]
    R. Fagin, J.Y. Halpern and M. Vardi: A Model Theoretic Analysis of Knowledge. Proceedings of the 25th IEEE Symp. on the Foundations of Computer Science (1984).Google Scholar
  5. [5]
    J.Y. Halpern and M. Vardi: The Complexity of Reasoning about Knowledge and Time. Proceedings of the 18th Annual ACM Symp. on Theory of Computing (1986), 304–315.Google Scholar
  6. [6]
    K. Lodaya and P.S. Thiagarajan: A Modal Logic for a Subclass of Event Structures. Report DAIMI PB-220, Computer Science Department, Aarhus University, Denmark.Google Scholar
  7. [7]
    M. Nielsen, G. Plotkin and G. Winskel: Petri Nets, Event Structures and Domains, Part I. Theoretical Computer Science 13,1 (1981), 62–85.Google Scholar
  8. [8]
    S. Owicki and L. Lamport: Proving Liveness Properties of Concurrent Programs. ACM Transactions on Programming Languages and Systems, 4,3 (1982), 455–495.CrossRefGoogle Scholar
  9. [9]
    R. Parikh: Logics of Knowledge, Games and Dynamic Logic. Springer-Verlag Lecture Notes in Computer Science 181 (1984), 202–222.Google Scholar
  10. [10]
    A. Pnueli: The Temporal Logic of Programs. Proceedings of the 18th IEEE Symp. on Foundations of Computer Science (1977), 46–57.Google Scholar
  11. [11]
    A. Pnueli: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A survey of current trends. Springer-Verlag Lecture Notes in Computer Science 224 (1986), 510–584.Google Scholar
  12. [12]
    G. Winskel: Event Structure Semantics for CCS and Related Languages. Springer-Verlag Lecture Notes in Computer Science 140 (1982), 561–577.Google Scholar
  13. [13]
    G. Winskel: Event Structures. Report 95 of The Computer Laboratory, University of Cambridge (1986).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • K. Lodaya
    • 1
  • P. S. Thiagarajan
    • 2
  1. 1.Computer Science GroupTata Institute of Fundamental ResearchBombayIndia
  2. 2.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Personalised recommendations