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)
“The logic of worldly success rests on a fallacy: the strange error that our perfection depends on the thoughts and opinions and applause of other men! A weird life it is, indeed, to be living always in somebody else’s imagination, as if that were the only place in which one could at last become real!”
—Thomas Merton (1915–1968)