Preview
Unable to display preview. Download preview PDF.
References
R. Danecki, Propositional Dynamic Logic with strong loop predicate, Proc. MFCS'84, LNCS 176, 573â581 (1984) Springer-Verlag
M. J. Fisher, R. E. Ladner, Propositional Dynamic Logic of regular programs, JCSS 18:2, (1979), 194â211
D. Harel, Recurring dominoes: Making the highly undecidable highly understandable, Proc. FCT'83, LNCS 158, 177â194, (1983) Springer-Verlag
M. O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. AMS 141 (1969), 1â35
M. O. Rabin, Weakly definable relations and special automata, in: Math. Logic and Found. of Set Theory (Y. Bar-Hillel ed.) North-Holland (1970), 1â23
R. S. Streett, Propositional Dynamic Logic of looping and converse is elementarily decidable, Inform. & Control 54, 121â141 (1982)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Danecki, R. (1985). Nondeterministic Propositional Dynamic Logic with intersection is decidable. 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_5
Download citation
DOI: https://doi.org/10.1007/3-540-16066-3_5
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