"Dynamic logic" - читать интересную книгу автора (David Harel, Dexter Kozen, Jerzy Tiuryn)