Vaughan Pratt introduced dynamic logic in 1976.
Vaughan Pratt在1976年介入了动态逻辑。