Part of the Lecture Notes in Computer Science book series (LNCS, volume 140)
On the power of nondeterminism in dynamic logic
KeywordsPredicate 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.
Unable to display preview. Download preview PDF.
- [En]Enderton, H. B. A Mathematical Introduction to Logic. Academic Press, 1972.Google Scholar
- [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
- [Hal]J.Y. Halpern, On the expressive power of dynamic logic, II, MIT/LCS/TM-204.Google Scholar
- [Har]D. Harel, First-Order Dynamic Logic, Lecture Notes in Computer Science, 68, Springer-Verlag, N.Y., 1979.Google Scholar
- [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
- [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
- [Pr]V. R. Pratt, Semantical considerations of Floyd-Hoare logic, in “Proc. of the 17th FOCS”, October, 1976, pp. 109–121.Google Scholar
© Springer-Verlag Berlin Heidelberg 1982