Skip to main content
SpringerLink
Log in

On the power of nondeterminism in dynamic logic

  • Conference paper
  • First Online:
Book cover Automata, Languages and Programming (ICALP 1982)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 140))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Enderton, H. B. A Mathematical Introduction to Logic. Academic Press, 1972.

    Google Scholar 

  2. 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. J.Y. Halpern, On the expressive power of dynamic logic, II, MIT/LCS/TM-204.

    Google Scholar 

  4. D. Harel, First-Order Dynamic Logic, Lecture Notes in Computer Science, 68, Springer-Verlag, N.Y., 1979.

    Google Scholar 

  5. 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. 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. V. R. Pratt, Semantical considerations of Floyd-Hoare logic, in “Proc. of the 17th FOCS”, October, 1976, pp. 109–121.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratory for Computer Science, M.I.T., MA02139, Cambridge, USA

    Piotr Berman & Joseph Y. Halpern

  2. Aiken Computation Laboratory, Harvard University, MA02138, Cambridge, USA

    Joseph Y. Halpern

  3. Institute of Mathematics, Warsaw University, Warsaw, Poland

    Jerzy Tiuryn

Authors
  1. Piotr Berman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joseph Y. Halpern
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jerzy Tiuryn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mogens Nielsen Erik Meineche Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Berman, P., Halpern, J.Y., Tiuryn, J. (1982). On the power of nondeterminism in dynamic logic. In: Nielsen, M., Schmidt, E.M. (eds) Automata, Languages and Programming. ICALP 1982. Lecture Notes in Computer Science, vol 140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012756

Download citation

  • DOI: https://doi.org/10.1007/BFb0012756

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11576-2

  • Online ISBN: 978-3-540-39308-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation