Dynamical Logic

author: Peter H. Schmitt, University of Karlsruhe
published: April 16, 2009,   recorded: February 2009,   views: 7312


Related Open Educational Resources

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.

 Watch videos:   (click on thumbnail to launch)

Watch Part 1
Part 1 1:04:56
Watch Part 2
Part 2 47:16
Watch Part 3
Part 3 58:47
Watch Part 4
Part 4 1:00:26
Watch Part 5
Part 5 1:01:37


Dynamic Logic was developed in the late 1970s by David Harel building on previous work by V.R.Pratt. It is a modal logic and as any modal logic it allows to reason about the truth of statements in different states (or worlds). It extends classical modal logic however by taking explicitly into account the transitions from one state to the next state(s). Descriptions of actions (events, or programs) are part of the syntax of Dynamic Logic. This course will start with an introduction into the logical theory of propositional and first-order dynamic logic with respect to a very fine grained notion of actions. At the next level a Dynamic Logic for an abstract programing language will be considered. We will end by presenting a Dynamic Logic for a real programming language and show how this can be used in software verification including a demo of a working system.

See Also:

Download slides icon Download slides: ssll09_schmitt_dlog.pdf (1.2┬áMB)

Help icon Streaming Video Help

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Reviews and comments:

Comment1 Chris, June 12, 2010 at 9:18 p.m.:

The audio on part two is so choppy that the video is useless. Every few words are cut out.

Write your own review or comment:

make sure you have javascript enabled or clear this field: