Nondeterministic Propositional Dynamic Logic with intersection is decidable

  • Ryszard Danecki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 208)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [D]
    R. Danecki, Propositional Dynamic Logic with strong loop predicate, Proc. MFCS'84, LNCS 176, 573–581 (1984) Springer-VerlagGoogle Scholar
  2. [FL]
    M. J. Fisher, R. E. Ladner, Propositional Dynamic Logic of regular programs, JCSS 18:2, (1979), 194–211Google Scholar
  3. [H]
    D. Harel, Recurring dominoes: Making the highly undecidable highly understandable, Proc. FCT'83, LNCS 158, 177–194, (1983) Springer-VerlagGoogle Scholar
  4. [R69]
    M. O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. AMS 141 (1969), 1–35Google Scholar
  5. [R70]
    M. O. Rabin, Weakly definable relations and special automata, in: Math. Logic and Found. of Set Theory (Y. Bar-Hillel ed.) North-Holland (1970), 1–23Google Scholar
  6. [S]
    R. S. Streett, Propositional Dynamic Logic of looping and converse is elementarily decidable, Inform. & Control 54, 121–141 (1982)Google Scholar

Copyright information

© Springer-Verlag 1985

Authors and Affiliations

  • Ryszard Danecki
    • 1
  1. 1.Institute of MathematicsPolish Acad. of Sci.PoznańPoland

Personalised recommendations