Preview
Unable to display preview. Download preview PDF.
References
G.Gargov & S.Passy, Determinism and Looping in Combinatory PDL, April 1985, Submitted to FOCS'85.
D.Harel, Recurring Dominoes: Making the Highly Undecidable Highly Understandable, Ann. of Discr. Math., 1985 (in press), also in: Springer LNCS 158 (1983), 179–194.
S. Passy & T. Tinchev, PDL with Data Constants, Inform. Proc. Lett., 20 (1985), 35–41.
S.Passy & T.Tinchev, Combinatory Dynamic Logic, January 1985, Submitted to Information and Control.
J.Shoenfield, Mathematical Logic, Addison — Wesley, 1967.
D.Skordev, A Formal System for Proving Some Properties of Programs, 1981, to appear in Fundamenta Informaticae.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Passy, S., Tinchev, T. (1985). Quantifiers in combinatory PDL: Completeness, definability, incompleteness. In: Budach, L. (eds) Fundamentals of Computation Theory. FCT 1985. Lecture Notes in Computer Science, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028835
Download citation
DOI: https://doi.org/10.1007/BFb0028835
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15689-5
Online ISBN: 978-3-540-39636-9
eBook Packages: Springer Book Archive