Abstracts.2020.DynamicLogic

Dynamic Logic: Principles and Applications

by Wolfgang Ahrendt

Abstract

Dynamic logic (DL) is a multi-modal logic, where modalities are parameterised over actions from some action language. For instance, the action language could be an (abstract or concrete) stateful programming language. In this talk, I will introduce principles of propositional and first-order DL, discuss applications of DL to software verification, and visit some special topics, like first-order DL with domain-changing actions, and DL over hybrid (discrete/continuous) actions.

Resources

• Slides - Dynamic Logic
• Slides - Abstract Object Creation in Dynamic Logic

References

1. David Harel. 1984. Dynamic logic in Handbook of Philosophical Logic — Volume II: Extensions of Classical Logic, Dov M. Gabbay and Franz Guenthner (editors), Springer, Dordrecht, pages 497–604.
2. David Harel. 1979. First-Order Dynamic Logic in Lecture Notes in Computer Science Book Series, Springer, Berlin, Heidelberg, volume 68.

Bibliography

1. Nicolas Troquard and Philippe Balbiani. 2007–2019. Propositional Dynamic Logic in The Stanford Encyclopedia of Philosophy.