Dynamic Logic introduz os fundamentos da lógica dinâmica aplicada a sistemas computacionais, com explicações sobre sintaxe e semântica formal.

O autor explora exemplos de uso de operadores modais e regras de inferência em contextos de especificação e verificação de programas.

Capacita leitores a empregar formalismos para modelagem e raciocínio sobre comportamento de programas e agentes em sistemas dinâmicos.