Language
Modal logic is characterized by the modal operators (box p) asserting that is necessarily the case, and (diamond p) asserting that is possibly the case. Dynamic logic extends this by associating to every action the modal operators and, thereby making it a multimodal logic. The meaning of is that after performing action it is necessarily the case that holds, that is, must bring about . The meaning of is that after performing it is possible that holds, that is, might bring about . These operators are related by and, analogously to the relationship between the universal and existential quantifiers.
Dynamic logic permits compound actions built up from smaller actions. While the basic control operators of any programming language could be used for this purpose, Kleene's regular expression operators are a good match to modal logic. Given actions and, the compound action, choice, also written or, is performed by performing one of or . The compound action, sequence, is performed by performing first and then . The compound action, iteration, is performed by performing zero or more times, sequentially. The constant action or BLOCK does nothing and does not terminate, whereas the constant action or SKIP or NOP, definable as, does nothing but does terminate.
Read more about this topic: Dynamic Logic (modal Logic)
Famous quotes containing the word language:
“It would seem as if the very language of our parlors would lose all its nerve and degenerate into palaver wholly, our lives pass at such remoteness from its symbols, and its metaphors and tropes are necessarily so far fetched.”
—Henry David Thoreau (1817–1862)
“Just as language has no longer anything in common with the thing it names, so the movements of most of the people who live in cities have lost their connexion with the earth; they hang, as it were, in the air, hover in all directions, and find no place where they can settle.”
—Rainer Maria Rilke (1875–1926)
“This Light inspires, and plays upon
The nose of Saint like Bag-pipe drone,
And speaks through hollow empty Soul,
As through a Trunk, or whisp’ring hole,
Such language as no mortal Ear
But spiritual Eve-droppers can hear.”
—Samuel Butler (1612–1680)