More on Nonregular PDL: Finite Models and Fibonacci-like Programs

Information and Computation

Volumn 128, Issue 2, 1996, Pages 109-118

  Harel, David ^a   Singerman, Eli ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345982230     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1996.0066     Document Type: Article

References (12)

1. Fischer, M. J., and Ladner, R. E. (1979), Prepositional dynamic logic of regular programs, J. Comput. System Sci. 18, 194-211.
2. Harel, D. (1984), Dynamic Logic, in "Handbook of Philosophical Logic" (D. Gabbay and F. Guenthner, Eds.), Reidel, Dordrecht, 1984, Vol. II, pp. 497-604.
3. Harel, D. (1985), Recurring dominoes: Making the highly undecidable highly understandable, Ann. Discrete Math. 24 (1985), 51-72.
4. 2l | i ≥ 0}, J. Comput. System Sci. 29, 359-365.
5. Harel, D., Pnueli, A., and Stavi, J. (1983), Propositional dynamic logic of nonregular programs," J. Comput. System Sci. 26 (1983), 222-243.
6. Harel, D. and Raz, D. (1993), Deciding properties of nonregular programs, SIAM J. Comput. 22 (1993), 857-874.
7. Harel, D. and Singerman, E. (1995), More on nonregular PDL: Expressive power, finite models, fibonacci programs, in "3rd Israel Symp. on the Theory of Comp. Sys.," IEEE Press, New York, pp. 140-149.
8. Koren, T. and Pnueli, A. (1983), There exist decidable context-free propositional dynamic logics, in "Proc. Sympo. on Logics of Programs," Lecture Notes in Computer Science, Springer-Verlag, New York, Vol. 164, pp. 290-312.
9. Kozen, D. and Tiuryn, J. (1990), Logics of programs, in "Handbook of Theoretical Computer Science" (J. Van Leeuwen, Ed.), Elsevier, Amsterdam, Vol. B, pp. 789-840.
10. Parikh, R. J. (1966), On context-free languages, J. Assoc. Comput. Mach. 13, 570-581.
11. Pratt, V. R. (1976), Semantical considerations on Floyd-Hoare logic, in "17th IEEE Symp. Found. Comput. Sci.," IEEE Press, New York, pp. 109-121.
12. Pratt, V. R. (1980), A near optimal method for reasoning about action, J. Comput. System Sci. 20, 231-254.