11-letter words containing m, a, g, d, l
- middle-aged — being of the age intermediate between youth and old age, roughly between 45 and 65.
- midsagittal — At the middle of the sagittal plane.
- misdealings — Plural form of misdealing.
- mishandling — to handle badly; maltreat: to mishandle a dog.
- misleadings — Plural form of misleading.
- mispleading — a mistake in pleading, as a misjoinder of parties or a misstatement of a cause of action.
- 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.
- molly-guard — /mol'ee-gard/ [University of Illinois] A shield to prevent tripping of some Big Red Switch by clumsy or ignorant hands. Originally used of the plexiglass covers improvised for the BRS on an IBM 4341 after a programmer's toddler daughter (named Molly) frobbed it twice in one day. Later generalised to covers over stop/reset switches on disk drives and networking equipment.
- mosaic gold — Chemistry. stannic sulfide.
- promulgated — to make known by open declaration; publish; proclaim formally or put into operation (a law, decree of a court, etc.).
- riding lamp — a light on a boat or ship showing that it is at anchor
- sigmoidally — in the form of a sigmoid
- small goods — meats bought from a delicatessen, such as sausages