Introduit Dynamic Logic, couvrant ses principes, ses problèmes et ses variations de conception, y compris les conceptions au pied contre les conceptions non au pied et les structures à sorties multiples.
Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.
