Preview
Unable to display preview. Download preview PDF.
References
Goldblatt, R. Axiomatising the Logic of Computer Programming, Springer LNCS 130 (1982).
Harel, D. Recurring Domimoes: Making the Highly Undecidable Highly Understandable, in: Springer LNCS 158 (1983), 177–194.
Harel, D., A. Pnueli and J. Stavi, Propositional Dynamic Logic of Nonregular Programs, JCSS 26, (1983), 222–243.
Meyer, A., R. Streett and G. Mirkowska, The Deducibility Problem in Propositional Dynamic Logic, in: Springer LNCS 115 (1981), 12–22.
Mirkowska, G. PAL — Propositional Algorithmic Logic, in: Springer LNCS 125 (1981), 23–101.
Mirkowska, G. On the Propositional Algorithmic Theory of Arithmetic, in: Springer LNCS 148 (1983), 166–185.
Salwicki,A. On Algorithmic Theory of Stacks, ICS PAS report Nr 337
Tinchev, T. and D. Vakarelov. Propositional Dynamic Logic with Recursive Programs, submitted.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tinchev, T., Vakarelov, D. (1985). Propositional dynamic logics with counters and stacks. In: Skowron, A. (eds) Computation Theory. SCT 1984. Lecture Notes in Computer Science, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16066-3_30
Download citation
DOI: https://doi.org/10.1007/3-540-16066-3_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16066-3
Online ISBN: 978-3-540-39748-9
eBook Packages: Springer Book Archive