Dynamic Logic door David Harel, Dexter Kozen & Jerzy Tiuryn