×

zbMATH — the first resource for mathematics

Alternative semantics for temporal logics. (English) Zbl 0559.68050
The paper studies relationships between alternative semantics for temporal logics. Three common constraints on the allowed sets of computation paths, the suffix closure [D. Harel, D. Kozen and R. Parikh, J. Comput. Syst. Sci. 25, 144-170 (1982; Zbl 0494.03016)], the fusion closure [V. R. Pratt, Process logic, in: Proc. 6th ACM Symp. on Principles of Programming Languages (1979)] and the limit closure [K. Abrahamson, Expressiveness and decidability of logics of processes, Ph. D. thesis, Univ. of Washington, Seattle (1980)], are shown to be independent and their conjunction to be equivalent to the R-generable paths [Z. Manna and A. Pnueli, Lect. Notes Comput. Sci. 71, 385-409 (1979; Zbl 0404.68011)].
Reviewer: J.Zlatuška

MSC:
68Q65 Abstract data types; algebraic specification
68Q60 Specification and verification (program logics, model checking, etc.)
03B45 Modal logic (including the logic of norms)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Abrahamson, K., Expressiveness and decidability of logics of processes, ()
[2] Ben-Ari, M.; Manna, Z.; Pnueli, A., The temporal logic of branching time, 8th ann. ACM symp. on principles of programming languages, (1981)
[3] Emerson, E.A.; Clarke, F.M., Characterizing correctness properties of parallel programs as fixpoints, () · Zbl 0456.68016
[4] Emerson, E.A.; Halpern, J.Y., Decision procedures and expressiveness in the temporal logic of branching time, 14th ann. ACM symp. on theory of computing, (1982)
[5] Harel, D.; Kozen, D.; Parikh, R., Process logic: expressiveness, decidability, completeness, 21st ann. symp. on foundations of computer science, (1980) · Zbl 0494.03016
[6] Lamport, L., ‘sometime’ is sometimes ‘not never’, 7th ann. ACM symp. on principles of programming languages, (1980)
[7] Manna, Z.; Pnueli, A., The modal logic of programs, () · Zbl 0206.17503
[8] Pnueli, A., The temporal logic of programs, 19th ann. symp. on foundations of computer science, (1977)
[9] Pnueli, A., The temporal semantics of concurrent programs, Theoret. comput. sci., 13, 45-60, (1981) · Zbl 0441.68010
[10] Pratt, V.R., Process logic, Proc. 6th ann. ACM symp. on principles o programming languages, (1979) · Zbl 0433.68031
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.