Help finding a paper in computer science dynamic logic

edited 27 days ago
Hello,

Does anybody know where I can find the following paper: D. Harel, D. Kozen and J. Tiuryn, Dynamic Logic, Foundations of Computer Science, MIT Press, 2000.

I have searched on Google Scholar and it does not provide any links, only citations.

I found it referenced in the following text: R. Goldblatt and M. Jackson, “Well structured program equivalence is highly undecidable,” ACM Trans. Comput. Logic, vol. 13, no. 3, pp. 1–8, Aug. 2012, doi: 10.1145/2287718.2287726.
Sign In or Register to comment.