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)
“seizing the swift logic of a woman,
Curse God and die.”
—Edwin Arlington Robinson (1869–1935)