Pratt, Vaughan Dynamic algebras: Examples, constructions, applications. (English) Zbl 0752.03033 Stud. Log. 50, No. 3-4, 571-605 (1991). Reviewer: Hirokazu Nishimura (Ibaraki) MSC: 03G05 03B70 03B45 06E25 × Cite Format Result Cite Review PDF Full Text: DOI
Pratt, Vaughan R. Application of modal logic to programming. (English) Zbl 0457.03013 Stud. Log. 39, 257-274 (1980). MSC: 03B45 68N01 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Pratt, V. R. A practical decision method for propositional dynamic logic (preliminary report). (English) Zbl 1283.03066 Proceedings of the 10th annual ACM symposium on theory of computing, STOC’78, San Diego, CA, USA, May 1–3, 1978. New York, NY: Association for Computing Machinery (ACM). 326-337 (1978). MSC: 03B70 03B45 68T20 × Cite Format Result Cite Review PDF Full Text: DOI