Dynamic logic

@article{Harel2001DynamicL,
  title={Dynamic logic},
  author={David Harel and Dexter Kozen and Jerzy Tiuryn},
  journal={SIGACT News},
  year={2001},
  volume={32},
  pages={66-69}
}
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is… CONTINUE READING
Highly Influential
This paper has highly influenced 105 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 577 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Verification of Sequential and Concurrent Programs

Graduate Texts in Computer Science • 1997
View 9 Excerpts
Highly Influenced

Communication in Concurrent Dynamic Logic

J. Comput. Syst. Sci. • 1987
View 10 Excerpts
Highly Influenced

Concurrent Program Schemes and Their Logics

Theor. Comput. Sci. • 1987
View 10 Excerpts
Highly Influenced

Concurrent dynamic logic

J. ACM • 1987
View 9 Excerpts
Highly Influenced

Program construction and verification

PHI Series in computer science • 1986
View 8 Excerpts
Highly Influenced

Propositional Dynamic Logics of Programs: a Survey

Logic of Programs • 1979
View 10 Excerpts
Highly Influenced

Second-Order Mathematical Theory of Computation

STOC • 1970
View 4 Excerpts
Highly Influenced

110(2):366–390

Dexter Kozen. A completeness theorem for Kleene algebras, the algebra of regular events. Infor., Comput.
May • 1994
View 4 Excerpts
Highly Influenced

6th Symp

Dexter Kozen. A completeness theorem for Kleene algebras, the algebra of regular events. In Proc
Logic in Comput. Sci., pages 214–225, Amsterdam, July • 1991
View 4 Excerpts
Highly Influenced

9th Int

Dexter Kozen. Results on the propositional -calculus. In Proc
Colloq. Automata, Languages, and Programming, pages 348–359, Aarhus, Denmark, July • 1982
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…