Dynamic logics

Dynamic logics have been designed by Pratt as formal systems for reasoning about computer programs. The main ingredients discussed are programs, operations on programs, states and properties of states. In particular one can formalize that every execution of a program p starting in state s terminates in a state with a given property. Thus correctness statements for programs can be dealt with. According to Segerberg (1980) programs might be viewed more generally as actions of some agent so that certain aspects of human action theory can also be formulated and studied in these systems.