Dynamic Logic (modal Logic)
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics, philosophy, AI, and other fields.
Read more about Dynamic Logic (modal Logic): Language, Axioms, Derivations, Derived Rules of Inference, Assignment, Test, Quantification As Random Assignment, Possible-world Semantics, Propositional Dynamic Logic (PDL), History, The Concurrency Challenge
Famous quotes containing the words dynamic and/or logic:
“Imagination is always the fabric of social life and the dynamic of history. The influence of real needs and compulsions, of real interests and materials, is indirect because the crowd is never conscious of it.”
—Simone Weil (1909–1943)
“What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?”
—Henry David Thoreau (1817–1862)