This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Enderton, H. B. A Mathematical Introduction to Logic. Academic Press, 1972.
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.
J.Y. Halpern, On the expressive power of dynamic logic, II, MIT/LCS/TM-204.
D. Harel, First-Order Dynamic Logic, Lecture Notes in Computer Science, 68, Springer-Verlag, N.Y., 1979.
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).
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.
V. R. Pratt, Semantical considerations of Floyd-Hoare logic, in “Proc. of the 17th FOCS”, October, 1976, pp. 109–121.
Author information
Authors and Affiliations
Editor information
Rights 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