Meyer, Albert R.; Tiuryn, Jerzy Equivalences among logics of programs. (English) Zbl 0552.68037 J. Comput. Syst. Sci. 29, 160-170 (1984). Reviewer: J.-J.Ch.Meyer MSC: 68Q65 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Harel, David; Kozen, Dexter; Parikh, Rohit Process logic: Expressiveness, decidability, completeness. (English) Zbl 0494.03016 J. Comput. Syst. Sci. 25, 144-170 (1982). MSC: 03B45 68Q65 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Fischer, Michael J.; Ladner, Richard E. Propositional dynamic logic of regular programs. (English) Zbl 0408.03014 J. Comput. Syst. Sci. 18, 194-211 (1979). MSC: 03B45 68Q65 68N01 03B60 68W99 68Q05 03D10 × Cite Format Result Cite Review PDF Full Text: DOI