Advertisement

On the power of nondeterminism in dynamic logic

  • Piotr Berman
  • Joseph Y. Halpern
  • Jerzy Tiuryn
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 140)

Keywords

Predicate Symbol Dynamic Logic Additional Counter Propositional Dynamic Logic Accessible Block 
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.

References

  1. [En]
    Enderton, H. B. A Mathematical Introduction to Logic. Academic Press, 1972.Google Scholar
  2. [HR]
    J. Y. Halpern and J. Reif, The propositional dynamic logic of deterministic, well-structured programs, in “Proc. of the 22nd FOCS”, October, 1981, pp. 322–334. A revised version appears as MIT/LCS/TM-198, 1981; to appear in Theoretical Computer Science.Google Scholar
  3. [Hal]
    J.Y. Halpern, On the expressive power of dynamic logic, II, MIT/LCS/TM-204.Google Scholar
  4. [Har]
    D. Harel, First-Order Dynamic Logic, Lecture Notes in Computer Science, 68, Springer-Verlag, N.Y., 1979.Google Scholar
  5. [MT]
    A. R. Meyer and J. Tiuryn, A note on equivalences among logics of programs, to appear in “Proceedings of the IBM Conference on Logics of Programs”, (ed. D. Kozen), Lecture Notes in Computer Science series (1982).Google Scholar
  6. [MW]
    A. R. Meyer and K. Winklmann, On the expressive power of dynamic logic, in “Proc. of the 11th STOC”, May, 1979, pp. 167–175. A revised version appears as MIT/LCS/TM-157, February, 1980.Google Scholar
  7. [Pr]
    V. R. Pratt, Semantical considerations of Floyd-Hoare logic, in “Proc. of the 17th FOCS”, October, 1976, pp. 109–121.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Piotr Berman
    • 1
  • Joseph Y. Halpern
    • 1
    • 2
  • Jerzy Tiuryn
    • 3
  1. 1.Laboratory for Computer ScienceM.I.T.CambridgeUSA
  2. 2.Aiken Computation LaboratoryHarvard UniversityCambridgeUSA
  3. 3.Institute of MathematicsWarsaw UniversityWarsawPoland

Personalised recommendations