History
Dynamic logic was developed by Vaughan Pratt in 1974 in notes for a class on program verification as an approach to assigning meaning to Hoare logic by expressing the Hoare formula as . The approach was later published in 1976 as a logical system in its own right. The system parallels A. Salwicki's system of Algorithmic Logic and Edsger Dijkstra's notion of weakest-precondition predicate transformer, with corresponding to Dijkstra's, weakest liberal precondition. Those logics however made no connection with either modal logic, Kripke semantics, regular expressions, or the calculus of binary relations; dynamic logic therefore can be viewed as a refinement of algorithmic logic and Predicate Transformers that connects them up to the axiomatics and Kripke semantics of modal logic as well as to the calculi of binary relations and regular expressions.
Read more about this topic: Dynamic Logic (modal Logic)
Famous quotes containing the word history:
“Properly speaking, history is nothing but the crimes and misfortunes of the human race.”
—Pierre Bayle (1647–1706)
“The history of the Victorian Age will never be written: we know too much about it.”
—Lytton Strachey (1880–1932)
“The history of our era is the nauseating and repulsive history of the crucifixion of the procreative body for the glorification of the spirit.”
—D.H. (David Herbert)