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)
“We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.”
—Ralph Waldo Emerson (1803–1882)