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:
“Knowledge about life is one thing; effective occupation of a place in life, with its dynamic currents passing through your being, is another.”
—William James (1842–1910)
“It is the logic of our times,
No subject for immortal verse—
That we who lived by honest dreams
Defend the bad against the worse.”
—Cecil Day Lewis (1904–1972)