Abstracts.2020.DynamicLogic

Dynamic Logic

by Wolfgang Ahrendt

Abstract

Dynamic logic (DL) is a mutli-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.

References

TBD

Bibliography

1. Propositional Dynamic Logic on Stanford Encyclopedia of Philosophy.