Pratt Vaughan R.. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York 1976, pp. 109–121.Fischer Michael J. and Ladner Richard E.. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211.Segerberg Krister. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Traczyk Tadeuz, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw 1982, pp. 31–46.Parikh Rohit. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by Winkowski J., Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415.Kozen Dexter and Parikh Rohit. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.

Goldblatt, Robert

发现好书期刊，享受阅读乐趣