modal logic

mod·al log·ic

M m

Transcription

- US Pronunciation
- US IPA
- [mohd-l loj-ik]
- /ˈmoʊd l ˈlɒdʒ ɪk/

- US Pronunciation
- US IPA
- [mohd-l loj-ik]
- /ˈmoʊd l ˈlɒdʒ ɪk/

Definitions of modal logic words

noun Technical meaning of modal logic (logic) An extension of propositional calculus with operators that express various "modes" of truth. Examples of modes are: necessarily A, possibly A, probably A, it has always been true that A, it is permissible that A, it is believed that A. "It is necessarily true that A" means that things being as they are, A must be true, e.g. "It is necessarily true that x=x" is TRUE while "It is necessarily true that x=y" is FALSE even though "x=y" might be TRUE. Adding modal operators [F] and [P], meaning, respectively, henceforth and hitherto leads to a "temporal logic". Flavours of modal logics include: Propositional Dynamic Logic (PDL), Propositional Linear Temporal Logic (PLTL), Linear Temporal Logic (LTL), Computational Tree Logic (CTL), Hennessy-Milner Logic, S1-S5, T. C.I. Lewis, "A Survey of Symbolic Logic", 1918, initiated the modern analysis of modality. He developed the logical systems S1-S5. JCC McKinsey used algebraic methods (Boolean algebras with operators) to prove the decidability of Lewis' S2 and S4 in 1941. Saul Kripke developed the relational semantics for modal logics (1959, 1963). Vaughan Pratt introduced dynamic logic in 1976. Amir Pnuelli proposed the use of temporal logic to formalise the behaviour of continually operating concurrent programs in 1977. 1
noun modal logic the logical study of such philosophical concepts as necessity, possibility, contingency, etc 0
noun modal logic the logical study of concepts whose formal properties resemble certain moral, epistemological, and psychological concepts 0
noun modal logic any formal system capable of being interpreted as a model for the behaviour of such concepts 0

See all 4 definitions of modal logic

Information block about the term

Parts of speech for Modal logic

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Modal logic

modal logic popularity

This term is known only to a narrow circle of people with rare knowledge. Only 7% of English native speakers know the meaning of this word.

According to our data most of word are more popular. This word is almost not used. It has a much more popular synonym.

See also

All definitions of modal logic

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?