Dynamic Logic (modal Logic) - Language

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)

Other articles related to "language, languages":

Macedonian Language - Vocabulary
... shares a considerable amount of its lexicon with these languages ... Other languages which have been in positions of power, such as Ottoman Turkish and increasingly English also provide a significant proportion of the loan words ... Prestige languages, such as Old Church Slavonic, which occupies a relationship to modern Macedonian comparable to the relationship of medieval Latin to modern Romance languages, and Russian also provided a ...
Semitic Languages - Present Situation
... Arabic is the native language of majorities from Mauritania to Oman, and from Iraq to the Sudan ... As the language of the Qur'an and as a lingua franca, it is studied widely in the non-Arabic-speaking Muslim world as well ... universal use of Arabic script is the Maltese language, genetically a descendant of the extinct Sicilian Arabic dialect ...
Film - Theory - Language
... Film is considered to have its own language ... Bergman famously said, " Tarkovsky for me is the greatest, the one who invented a new language, true to the nature of film, as it captures life as a reflection, life as a dream." Examples of the language are a sequence ...
Macedonian Language
... makedonski jazik, ) is a South Slavic language, spoken as a first language by approximately 2–3 million people principally in the region of Macedonia and the Macedonian diaspora ... It is the official language of the Republic of Macedonia and an official minority language in parts of Albania, Romania and Serbia ... Standard Macedonian was implemented as the official language of the Socialist Republic of Macedonia in 1945 and has since developed a thriving literary tradition ...
Linguistic Diversity - Language Endangerment
... Language endangerment occurs when a language is at risk of falling out of use as its speakers die out or shift to speaking another language ... Language loss occurs when the language has no more native speakers, and becomes a dead language ... If eventually no one speaks the language at all, it becomes an extinct language ...

Famous quotes containing the word language:

    You can’t write about people out of textbooks, and you can’t use jargon. You have to speak clearly and simply and purely in a language that a six-year-old child can understand; and yet have the meanings and the overtones of language, and the implications, that appeal to the highest intelligence.
    Katherine Anne Porter (1890–1980)

    If when a businessman speaks of minority employment, or air pollution, or poverty, he speaks in the language of a certified public accountant analyzing a corporate balance sheet, who is to know that he understands the human problems behind the statistical ones? If the businessman would stop talking like a computer printout or a page from the corporate annual report, other people would stop thinking he had a cash register for a heart. It is as simple as that—but that isn’t simple.
    Louis B. Lundborg (1906–1981)

    I shall christen this style the Mandarin, since it is beloved by literary pundits, by those who would make the written word as unlike as possible to the spoken one. It is the style of all those writers whose tendency is to make their language convey more than they mean or more than they feel, it is the style of most artists and all humbugs.
    Cyril Connolly (1903–1974)